download of VERBS (verbs1.35.tar)
verbs: Verification of Finite State Systems based on Bounded Correctness Checking.
-- An introduction to the verification tool.
Testing and Experimental Evaluation of QBF-based Bounded Correctness Checking.
-- An experimental evaluation report, with a comparison with NuSMV 2.5.0 based on a set of test cases (download the test cases).
SAT-Based Verification of LTL Formulas.
Lecture Notes in Computer Science 4346 (FMICS/PDMC 2006):277-292. Springer-Verlag. 2007.
Model Checking with SAT-Based Characterization of ACTL Formulas.
Lecture Notes in Computer Science 4789(ICFEM 2007):191-211. Springer-Verlag. 2007.
Bounded Semantics of CTL and SAT-based Verification.
Lecture Notes in Computer Science 5885 (ICFEM 2009):286-305. Springer-Verlag. 2009.
Old versions are available by following this link