4 citations · 8 across the 17 of their papers we have counts for
1 paper · 2 filters
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…