Paper Info
Title
30 Years of Modal Transition Systems: Survey of Extensions and Analysis.
Abstract
We survey the specification formalism of modal transition systems (MTS). We discuss various extensions of MTS, their relationships and modelling capabilities. The extensions include more involved modalities, quantitative aspects, or infinite state spaces. Further, we discuss problems arising in verification and analysis of these systems. We cover refinement checking, model checking and synthesis, standard cal and structural operations as used in specification theories as well as the respective tool support.
Year
DOI
Venue
2017
10.1007/978-3-319-63121-9_3
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
10460
0302-9743
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Jan Kretínský115916.02