Maria 1.0—Modular Reachability Analyser

Reference:

Marko Mäkelä, Timo Latvala, and Kimmo Varpaaniemi. Maria 1.0—modular reachability analyser. Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, November 2001. Software.

Abstract:

Maria is a modular reachability analyzer for task-specific front-ends. It is designed for easy extension with new frontends and experimental analysis modules. The first front-ends have been made for the ITU-T Z.100 SDL-96 and for TNSDL (an SDL-88 based programming language used at Nokia Networks). The internal verification model in Maria is a Petri net, very close to an algebraic Petri net (or coloured net).

Keywords:

Petri nets, data types, reachability analysis, high-level specifications, SDL

Suggested BibTeX entry:

@misc{MakelaMarko-MaRiA10,
    author = {Marko M{\"a}kel{\"a} and Timo Latvala and Kimmo Varpaaniemi},
    howpublished = {Teknillinen korkeakoulu, Tietojenk{\"a}sittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland},
    month = {November},
    note = {Software},
    title = {Maria 1.0---Modular Reachability Analyser},
    year = {2001},
}