MaRiA - a Modular Reachability Analyzer

Marko Mäkelä; Timo Latvala; Kimmo Varpaaniemi

MaRiA - a Modular Reachability Analyzer

Marko Mäkelä, Timo Latvala, Kimmo Varpaaniemi

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2000
MoE publication type	I2 ICT applications

Keywords

data types
high-level specifications
Petri nets
reachability analysis
SDL

Cite this

@misc{051b2ab1c64f4eea9c9d1fcaa0c670ff,

title = "MaRiA - a Modular Reachability Analyzer",

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

author = "Marko M{\"a}kel{\"a} and Timo Latvala and Kimmo Varpaaniemi",

year = "2000",

language = "English",

}

TY - ADVS

T1 - MaRiA - a Modular Reachability Analyzer

AU - Mäkelä, Marko

AU - Latvala, Timo

AU - Varpaaniemi, Kimmo

PY - 2000

Y1 - 2000

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

KW - SDL

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

KW - SDL

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

KW - SDL

UR - http://www.tcs.hut.fi/Software/maria/index.html

M3 - Software

ER -

MaRiA - a Modular Reachability Analyzer

Keywords

Other files and links

Cite this