2 citations · 2 across the 1 of their papers we have counts for
1 paper
Johannes Kloos, Rupak Majumdar, Filip Niksic +1
We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification t…