JMosel: A stand-alone tool and jABC plugin for M2L(Str)

Christian Topnik; Eva Wilhelm; Tiziana Margaria; Bernhard Steffen

doi:10.1007/11691617_18

JMosel: A stand-alone tool and jABC plugin for M2L(Str)

Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Model Checking Software - 13th International SPIN Workshop, Proceedings
Pages	293-298
Number of pages	6
DOIs	https://doi.org/10.1007/11691617_18
Publication status	Published - 2006
Externally published	Yes
Event	13th International SPIN Workshop on Model Checking Software - Vienna, Austria Duration: 30 Mar 2006 → 1 Apr 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3925 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International SPIN Workshop on Model Checking Software
Country/Territory	Austria
City	Vienna
Period	30/03/06 → 1/04/06

Access to Document

10.1007/11691617_18

Cite this

Topnik, C., Wilhelm, E., Margaria, T., & Steffen, B. (2006). JMosel: A stand-alone tool and jABC plugin for M2L(Str). In Model Checking Software - 13th International SPIN Workshop, Proceedings (pp. 293-298). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3925 LNCS). https://doi.org/10.1007/11691617_18

@inproceedings{b4d9ec03deed46668b38dd20cebff3ba,

title = "JMosel: A stand-alone tool and jABC plugin for M2L(Str)",

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.",

author = "Christian Topnik and Eva Wilhelm and Tiziana Margaria and Bernhard Steffen",

year = "2006",

doi = "10.1007/11691617_18",

language = "English",

isbn = "3540331026",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "293--298",

booktitle = "Model Checking Software - 13th International SPIN Workshop, Proceedings",

note = "13th International SPIN Workshop on Model Checking Software ; Conference date: 30-03-2006 Through 01-04-2006",

}

Topnik, C, Wilhelm, E, Margaria, T & Steffen, B 2006, JMosel: A stand-alone tool and jABC plugin for M2L(Str). in Model Checking Software - 13th International SPIN Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3925 LNCS, pp. 293-298, 13th International SPIN Workshop on Model Checking Software, Vienna, Austria, 30/03/06. https://doi.org/10.1007/11691617_18

JMosel: A stand-alone tool and jABC plugin for M2L(Str). / Topnik, Christian; Wilhelm, Eva; Margaria, Tiziana et al.
Model Checking Software - 13th International SPIN Workshop, Proceedings. 2006. p. 293-298 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3925 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - JMosel

T2 - 13th International SPIN Workshop on Model Checking Software

AU - Topnik, Christian

AU - Wilhelm, Eva

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33745804972&partnerID=8YFLogxK

U2 - 10.1007/11691617_18

DO - 10.1007/11691617_18

M3 - Conference contribution

AN - SCOPUS:33745804972

SN - 3540331026

SN - 9783540331025

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

SP - 293

EP - 298

BT - Model Checking Software - 13th International SPIN Workshop, Proceedings

Y2 - 30 March 2006 through 1 April 2006

ER -

JMosel: A stand-alone tool and jABC plugin for M2L(Str)

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this