1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Ian Dardik, Eunsuk Kang
A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable sta…