Telecharger Cours

Checking safety properties using induction and a SAT-solver

Abstract. We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in.



Download