30 Years of Modal Transition Systems: Survey of Extensions and Analysis

KŘETÍNSKÝ, Jan. 30 Years of Modal Transition Systems: Survey of Extensions and Analysis. In Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer, 2017, s. 36-74. ISSN 03029743. Dostupné z: https://doi.org/10.1007/978-3-319-63121-9_3.

Základní údaje

Originální název

30 Years of Modal Transition Systems: Survey of Extensions and Analysis

Autoři

KŘETÍNSKÝ, Jan

Vydání

Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, od s. 36-74, 39 s. 2017

Nakladatel

Springer

---

Další údaje

Typ výsledku

Stať ve sborníku

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

ISSN

DOI

https://doi.org/10.1007/978-3-319-63121-9_3

---

Anotace

V originále

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 logical and structural operations as used in specification theories as well as the respective tool support.