Bounded Model Checking

the same principles as plain BMC. Two further related applications, in which BMC becomes more and more ... SAT-based model checking, at least for falsification, scales much better [Kur08]. Another important direction in model checking is explicit state model check-ing. The SPIN model checker [Hol04] is the most prominent explicit state model

  Applications, Principles, Model, Check, Checking, Model checking, Model check ing