MaRiA - a Modular Reachability Analyzer

Marko Mäkelä, Timo Latvala, Kimmo Varpaaniemi

    Research output: Artistic and non-textual formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2000
    MoE publication typeI2 ICT software

    Keywords

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

    Cite this