20 Years of Mixed and Modal Specifications

File Description SizeFormat 
modal-mixed-specifications.pdfSubmitted version576.15 kBAdobe PDFDownload
Title: 20 Years of Mixed and Modal Specifications
Author(s): Antonik, A
Huth, M
Larsen, K
Nyman, U
Wasowski, A
Item Type: Journal Article
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.
Publication Date: 30-Jun-2008
Citation: EATCS Bulletin Vol.( 95 ) No.( ) pp 94 - 129
URI: http://hdl.handle.net/10044/1/5807
Publisher Link: http://www.eatcs.org/index.php/eatcs-bulletin
ISSN: 0252-9742
Publisher: European Association for Theoretical Computer Science
Start Page: 94
End Page: 129
Copyright Statement: © European Association for Theoretical Computer Science
Volume: 95
Appears in Collections:Quantitative Analysis and Decision Science

Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons