20 Years of Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Mathias Nyman, Andrzej Wasowski

    Research output: Journal Article or Conference Article in JournalJournal articleResearch

    Abstract

    Twenty years ago, modal and mixed specifications were proposed as
    abstract models of system behavior. In this paper, we explain the nature
    and utility of such specifications, relate them to other formalisms, showcase
    some of their established applications, and mention some existing tool support.
    We also present some recent complexity results for decision problems
    underlying such applications and list some remaining open problems.
    Original languageEnglish
    JournalBulletin of the European Association for Theoretical Computer Science
    Volume95
    ISSN0252-9742
    Publication statusPublished - 2008

    Keywords

    • Mixed transition systems
    • Modal transition systems

    Fingerprint

    Dive into the research topics of '20 Years of Modal and Mixed Specifications'. Together they form a unique fingerprint.

    Cite this