20 Years of Modal and Mixed Specifications

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

Research output: Contribution to journalJournal articleResearchpeer-review

508 Downloads (Pure)


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
Issue number95
Publication statusPublished - 2008


  • Modal transition systems
  • Mixed transition systems

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

Cite this