Computing Publications

Publications Home » 20 Years of Mixed and Modal Speci...

20 Years of Mixed and Modal Specifications

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

Journal Article
June, 2008
Bulletin of the European Association for Theoretical Computer Science
European Association for Theoretical Computer Science
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.

PDF of full publication (576 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

This is a preliminary version of the paper that appeared in the BEATCS.

N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.