30 citations · 97 across the 29 of their papers we have counts for
1 paper · 1 filter
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…