Article thumbnail

20 Years of Modal and Mixed Specifications

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


Udgivelsesdato: JuneTwenty years ago, modal and mixed specifications were proposed asabstract models of system behavior. In this paper, we explain the natureand utility of such specifications, relate them to other formalisms, showcasesome of their established applications, and mention some existing tool support.We also present some recent complexity results for decision problemsunderlying such applications and list some remaining open problems.<br/

Topics: Modale transitions systemer, Blandede transitions systemer, Modal transition systems, Mixed transition systems
Year: 2008
OAI identifier:
Provided by: VBN

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.