The TLA+ proof system: Building a heterogeneous verification platform

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

Volumn 6255 LNCS, Issue , 2010, Pages 44-

  Chaudhuri, Kaustuv ^a   Doligez, Damien ^b   Lamport, Leslie ^c   Merz, Stephan ^d  

^a INRIA SACLAY   (France)

^b INRIA ROCQUENCOURT   (France)

^c MICROSOFT RESEARCH   (United States)

^d INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED ALGORITHM; PROOF SYSTEM; STATE-SPACE EXPLOSION; TOOL SUPPORT;

PROGRAM DEBUGGING; THEOREM PROVING;

MODEL CHECKING;

EID: 78049422555     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14808-8_3     Document Type: Conference Paper

References (2)

1. + proof system. In: Sutcliffe, G., Rudnicki, P., Schmidt, R., Konev, B., Schulz, S. (eds.) Proc. of the LPAR Workshop Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA 2008). CEUR Workshop Proceedings, vol. 418, pp. 17-37 (2008)
2. + proof system. In: Giesl, J., Hähnle, R. (eds.) Intl. Joint Conf. Automated Reasoning (IJCAR 2010). LNCS. Springer, Heidelberg (to appear, 2010), http://msr-inria.inria.fr/~doligez/tlaps/