24 citations · 40 across the 18 of their papers we have counts for
1 paper · 1 filter
Mnacho Echenim, Nicolas Peltier, Yanis Sellami
We describe a system to prove properties of programs. The key feature of this approach is a method to automatically synthesize inductive invariants of the loops contained in the pr…