Truth/SLC - A parallel verifcation platform for concurrent systems

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

Volumn 2102, Issue , 2001, Pages 255-259

  Leucker, Martin ^a   Noll, Thomas ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048856631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44585-4_24     Document Type: Conference Paper

References (16)

1. Benedikt Bollig, Martin Leucker and Michael Weber. Local parallel model checking hfor the alternation free -calculus. Technical Report AIB-04-2001, RWTH Aachen, March 2001.
2. E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. Technical Report CMU-CS-96-178, Carnegie Mellon University (CMU), September 1996.
3. R. Cleaveland. Tableau-based model checking in the propositional mu-calculus. Acta Informatica, 27(8):725-748, 1990.
4. R. Cleaveland and S. Sims. The NCSU concurrency workbench. In Proceedings of the Eighth International Conference on Computer Aided Verifcation (CAV'96), volume 1102 of Lecture Notes in Computer Science, pages 394-397, 1996.
5. Jean-Charles Gregoire, Gerard J. Holzmann, and Doron A. Peled, editors. The Spin Verifcation System, volume 32 of DIMACS series. American Mathematical Society, 1997. ISBN 0-8218-0680-7, 203p.
6. M. Lange, M. Leucker, T. Noll, and S. Tobies. Truth - a verifcation platform for concurrent systems. In Tool Support for System Specifcation, Development, and Verifcation, Advances in Computing Science. Springer-Verlag Wien New York, 1999.
7. M. Leucker. Model checking games for the alternation free mu-calculus and alternating automata. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, volume 1705 of Lecture Notes in Artifcial Intelligence, pages 77-91. Springer, 1999.
8. Martin Leucker and Thomas Noll. Rewriting logic as a framework for generic veri fcation tools. In Proceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA'00), volume 36 of Electronic Notes in Theoretical Computer Science. Elsevier, 2000.
9. K. L. McMillan. The SMV system, symbolic model checking - an approach. Technical Report CMU-CS-92-131, Carnegie Mellon University, 1992.
10. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell Massachusetts, 1993.
11. Jose Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In Seventh International Conference on Concurrency Theory (CONCUR '96), volume 1119 of Lecture Notes in Computer Science, pages 331-372. Springer Verlag, August 1996.
12. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
13. F. Moller. The Edinburgh Concurrency Workbench (Version 6.1). Department of Computer Science, University of Edinburgh, October 1992.
14. Doron Peled. Ten years of partial order reduction. In CAV, Computer Aided Verifcation, number 1427 in LNCS, pages 17-28, Vancouver, BC, Canada, 1998.Springer.
15. Perdita Stevens and Colin Stirling. Practical model-checking using games. In B. Steen, editor, Proceedings of the 4th International Conference on Tools and algorithms for the construction and analysis of systems (TACAS '98), volume 1384 of Lecture Notes in Computer Science, pages 85-101, New York, NY, USA, 1998. Springer-Verlag Inc.
16. The Truth verifcation tool. http://www-i2.informatik.rwth-aachen.de/Research/MCS/Truth.