1 paper
Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn +1
Formal verification of complex algorithms is challenging. Verifying their implementations goes beyond the state of the art of current automatic verification tools and usually invol…