Parametric Modal Transition Systems

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří

Year of publication 2011
Type Article in Proceedings
Conference ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords modal transition systems; refinement
Attached files
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.