SLAB: A certifying model checker for infinite-state concurrent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6015 LNCS, Issue , 2010, Pages 271-274

  Dräger, Klaus ^a   Kupriyanov, Andrey ^a   Finkbeiner, Bernd ^a   Wehrheim, Heike ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION REFINEMENT; CONCURRENT SYSTEMS; CRAIG INTERPOLATION; INDUCTIVE VERIFICATION; INFINITE STATE SPACE; INFINITE-STATE; MODEL CHECKER; SAFETY PROPERTY; STATES AND TRANSITIONS; TOOL USE; TRANSITION SYSTEM; AUTOMATIC ABSTRACTIONS; INFINITE STATE CONCURRENT SYSTEMS;

ABSTRACTING; COMPUTER SOFTWARE;

MODEL CHECKING;

EID: 77951522983     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12002-2_22     Document Type: Conference Paper

References (7)

1. Brückner, I., Dräger, K., Finkbeiner, B., Wehrheim, H.: Slicing abstractions. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 17-32. Springer, Heidelberg (2007)
2. Bruttomesso, R., Cimatti, A., Franzén, A., Griggio, A., Sebastiani, R.: TheMathSAT 4 SMT solver. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 299-303. Springer, Heidelberg (2008)
3. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 241-268. Springer, Heidelberg (2002)
4. Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Software verification with BLAST. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 235-239. Springer, Heidelberg (2003)
5. Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)
6. Namjoshi, K.: Certifying model checkers. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 2-13. Springer, Heidelberg (2001)
7. Podelski, A., Rybalchenko, A.: ARMC: The logical choice for software model checking with abstraction refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 245-259. Springer, Heidelberg (2006)