550 citations · 8k across the 290 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…