Tampere verification tool

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

Volumn 2988, Issue , 2004, Pages 153-157

  Virtanen, Heikki ^a   Hansen, Henri ^a   Valmari, Antti ^a   Nieminen, Juha ^a   Erkkilä, Timo ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

AUTOMATED VERIFICATION; EXPLICIT STATE SPACE EXPLORATIONS; ON-THE FLY VERIFICATION; PARTIALLY DEFINED PROCESS; REACTIVE SYSTEM; STUBBORN SETS; VERIFICATION TOOLS; VISUAL VERIFICATION;

SPACE RESEARCH;

EID: 33746758135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24730-2_12     Document Type: Article

References (13)

1. H. Hansen, H. Virtanen, and A. Valmari. Merging state-based and action-based verification. In Proceedings of the third international conference on Application of Concurrency to System Design (ACSD 2003), pp. 150-156, IEEE, 2003.
2. J. Helovuo and A. Valmari. Checking for CFFD-preorder with tester processes. In Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, number 1785 in Lecture Notes in Computer Science, pp. 283-298, Berlin, March 27-31 2000. Springer-Verlag.
3. K. Jensen Coloured Petri Nets Volume 1: Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science, 234 pages. Springer-Verlag, 1992.
4. R. Kaivola and A. Valmari. The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic. In Proceedings of CONCUR '92, Third International Conference on Concurrency Theory, number 630 in Lecture Notes in Computer Science, pp. 207-221. Springer-Verlag, 1992.
5. A. Kangas and A. Valmari. Verification with the undefined: A new look. In Thomas Arts and Wan Fokkink, editors, Proceedings of Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03), volume 80 of ENTCS.
6. K. Karsisto. A New Parallel Composition Operator for Verification Tools. PhD thesis, Tampere University of Technology, 2003.
7. S. Leppänen and M. Luukkainen. Compositional verification of a third generation mobile communication protocol. In Ten-Hwang Lai, editor, Proceedings of the 1st Workshop on Distributed System Validation and Verification, pp. E118-E125, 2000.
8. Tvt-project home page. http://www.cs.tut.fi/ohj/VARG/TVT/
9. A. Valmari, J. Kemppainen, M. Clegg, and M. Levanto. Putting advanced reachability analysis techniques together: the ARA tool. In Proceedings of Formal Methods Europe '93: Industrial-Strength Formal Methods, number 670 in Lecture Notes in Computer Science, pp. 597-616. Springer-Verlag, 1993.
10. A. Valmari and M. Tienari. An improved failures equivalence for finite-state systems with a reduction algorithm. In Proceedings of Protocol Specification, Testing and Verification XI, pp. 3-18. North Holland, 1991.
11. A. Valmari, H. Virtanen, and A. Puhakka. Context-sensitive visibility. In Cleaveland R. and Garavel H., editors, FMICS'02 7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems, volume 66 of ENCTS, pp. 201-217.
12. A. Valmari. Stubborn set methods for process algebras. In Proceedings of POMIV'96, Workshop on Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp. 213-231. American Mathematical Society, July 1996.
13. A. Valmari and M. Setälä. Visual verification of safety and liveness. In Proceedings of Formal Methods Europe '96: Industrial Benefit and Advances in Formal Methods, number 1051 in Lecture Notes in Computer Science, pp. 228-247. Springer-Verlag, 1996.