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