Article thumbnail

20 Years of Modal and Mixed Specifications

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

Abstract

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: oai:pure.atira.dk:publications/5ac423a0-dbda-11dd-a016-000ea68e967b
Provided by: VBN

Suggested articles


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