Mosel: A flexible toolset for monadic second-order logic

Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger

doi:10.1007/BFb0035388

Mosel: A flexible toolset for monadic second-order logic

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger

University of Passau

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

Abstract

MOSEL is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system's design: MOSEL is a tool-set to include a flexible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other logics and tools. The main distinguishing features of MOSEL are its layered approach to the logic, based on a formal semantics for a minimal subset, its modular design, and its integration in a heterogeneous analysis and verification environment.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings
Editors	Ed Brinksma
Publisher	Springer Verlag
Pages	183-202
Number of pages	20
ISBN (Print)	3540627901, 9783540627906
DOIs	https://doi.org/10.1007/BFb0035388
Publication status	Published - 1997
Externally published	Yes
Event	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 - Enschede, Netherlands Duration: 2 Apr 1997 → 4 Apr 1997

Publication series

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

Conference

Conference	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997
Country/Territory	Netherlands
City	Enschede
Period	2/04/97 → 4/04/97

Access to Document

10.1007/BFb0035388

Cite this

Kelb, P., Margaria, T., Mendler, M., & Gsottberger, C. (1997). Mosel: A flexible toolset for monadic second-order logic. In E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings (pp. 183-202). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1217). Springer Verlag. https://doi.org/10.1007/BFb0035388

Kelb, Peter ; Margaria, Tiziana ; Mendler, Michael et al. / Mosel : A flexible toolset for monadic second-order logic. Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. editor / Ed Brinksma. Springer Verlag, 1997. pp. 183-202 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f597d2a2908b4e71ab996c9c6d5877c9,

title = "Mosel: A flexible toolset for monadic second-order logic",

abstract = "MOSEL is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system's design: MOSEL is a tool-set to include a flexible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other logics and tools. The main distinguishing features of MOSEL are its layered approach to the logic, based on a formal semantics for a minimal subset, its modular design, and its integration in a heterogeneous analysis and verification environment.",

author = "Peter Kelb and Tiziana Margaria and Michael Mendler and Claudia Gsottberger",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 ; Conference date: 02-04-1997 Through 04-04-1997",

year = "1997",

doi = "10.1007/BFb0035388",

language = "English",

isbn = "3540627901",

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

publisher = "Springer Verlag",

pages = "183--202",

editor = "Ed Brinksma",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings",

}

Kelb, P, Margaria, T, Mendler, M & Gsottberger, C 1997, Mosel: A flexible toolset for monadic second-order logic. in E Brinksma (ed.), Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1217, Springer Verlag, pp. 183-202, 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997, Enschede, Netherlands, 2/04/97. https://doi.org/10.1007/BFb0035388

Mosel: A flexible toolset for monadic second-order logic. / Kelb, Peter; Margaria, Tiziana; Mendler, Michael et al.
Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. ed. / Ed Brinksma. Springer Verlag, 1997. p. 183-202 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1217).

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

TY - GEN

T1 - Mosel

T2 - 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997

AU - Kelb, Peter

AU - Margaria, Tiziana

AU - Mendler, Michael

AU - Gsottberger, Claudia

PY - 1997

Y1 - 1997

N2 - MOSEL is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system's design: MOSEL is a tool-set to include a flexible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other logics and tools. The main distinguishing features of MOSEL are its layered approach to the logic, based on a formal semantics for a minimal subset, its modular design, and its integration in a heterogeneous analysis and verification environment.

AB - MOSEL is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system's design: MOSEL is a tool-set to include a flexible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other logics and tools. The main distinguishing features of MOSEL are its layered approach to the logic, based on a formal semantics for a minimal subset, its modular design, and its integration in a heterogeneous analysis and verification environment.

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

U2 - 10.1007/BFb0035388

DO - 10.1007/BFb0035388

M3 - Conference contribution

AN - SCOPUS:84958745608

SN - 3540627901

SN - 9783540627906

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

SP - 183

EP - 202

BT - Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings

A2 - Brinksma, Ed

PB - Springer Verlag

Y2 - 2 April 1997 through 4 April 1997

ER -

Kelb P, Margaria T, Mendler M, Gsottberger C. Mosel: A flexible toolset for monadic second-order logic. In Brinksma E, editor, Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Springer Verlag. 1997. p. 183-202. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0035388

Mosel: A flexible toolset for monadic second-order logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this