Up

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States

2 Hybrid explicit-state and symbolic (SAT-based) method for model checking. They store both explicit state vector and a symbolic CNF formula for the state. They are looking for NPD, ABV, data races. Their tool is for C++.

Sergey Vartanov, 2007–2020