IRUS Total

20 Years of Mixed and Modal Specifications

File Description SizeFormat 
modal-mixed-specifications.pdfSubmitted version576.15 kBAdobe PDFView/Open
Title: 20 Years of Mixed and Modal Specifications
Authors: 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.
Issue 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