6 citations · 11 across the 9 of their papers we have counts for
1 paper · 2 filters
Alessandro Cimatti, Alberto Griggio, Sergio Mover +1
We present a novel approach for generalizing the IC3 algorithm for invariant checking from finite-state to infinite-state transition systems, expressed over some background theorie…