Abstract
We address the problem of verifying invariant properties on infinite-state systems. We present a novel approach, IC3ia, for generalizing the IC3 invariant checking algorithm from finite-state to in...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have