4 citations · 4 across the 1 of their papers we have counts for
1 paper
Adrien Champion, Rémi Delmas, Michael Dierkes
This paper addresses the issue of lemma generation in a k-induction-based formal analysis of transition systems, in the linear real/integer arithmetic fragment. A backward analysis…