jMosel: A stand-alone tool and jABC Plugin for M2L(Str)
2006 | conference paper. A publication with affiliation to the University of Göttingen.
Jump to: Cite & Linked | Documents & Media | Details | Version history
Cite this publication
jMosel: A stand-alone tool and jABC Plugin for M2L(Str)
Topnik, C.; Wilhelm, E.; Margaria, T. & Steffen, B. (2006)
In:Valmari, Antti (Ed.), Model checking software pp. 293-298. 13th International SPIN Workshop on Model Checking Software, Vienna, Austria.
Berlin: Springer.
Documents & Media
Details
- Authors
- Topnik, C.; Wilhelm, E.; Margaria, T.; Steffen, B.
- Editors
- Valmari, Antti
- Abstract
- jMosel is a tool-set for the analysis and verification of linear parametric systems in monadic second-order logic on strings. In this paper we give a short introduction to the underlying concepts, as well as an overview of the implementation and the usage of jMosel.
- Issue Date
- 2006
- Publisher
- Springer
- Conference
- 13th International SPIN Workshop on Model Checking Software
- Series
- Lecture Notes in Computer Science
- ISBN
- 3-540-33102-6
- Conference Place
- Vienna, Austria
- Event start
- 2006-03-30
- Event end
- 2006-04-01
- ISSN
- 0302-9743
- Language
- English