1 citations · 1 across the 9 of their papers we have counts for
1 paper · 2 filters
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…