20 Years of Modal and Mixed Specifications
- Adam Antonik,
- Michael Huth,
- Kim Guldstrand Larsen,
- Ulrik Mathias Nyman,
Research Output:
Journal Article or Conference Article in Journal
Journal article
Publication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Journal article
Original language
EnglishJournal (Volume, Issue Number)
Bulletin of the European Association for Theoretical Computer Science (Volume 95)Publication milestones
- Published - 2008
Publication status
Published - 2008
ISSN
0252-9742Abstract
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.
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.