Parametric Modal Transition Systems

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří
Rok publikování	2011
Druh	Článek ve sborníku
Konference	ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	modal transition systems; refinement
Přiložené soubory	2011-ATVA-pmts.pdf
Popis	Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcome many of the limitations and we investigate the computational complexity of modal refinement checking.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Rozsáhlé výpočetní systémy: modely, aplikace a verifikace Software Components in Embedded Systems: Development and Verification Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity