A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems. - Nils Timm; Stefan Gruner; Matthias Harvey (SBMF, 2016)

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking. - Nils Timm; Stefan Gruner; Matthias Harvey (SBMF, 2018)