31 citations · 31 across the 2 of their papers we have counts for
1 paper · 1 filter
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…