Parametric modal transition systems

Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, M.H. Møller, J. Srba

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

25 Citationer (Scopus)

Abstrakt

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.
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6996
Sider (fra-til)275-289
Antal sider15
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed9th International Symposium on Automated Technology for Verification and Analysis - Taipei, Taiwan
Varighed: 11 okt. 201114 okt. 2011
Konferencens nummer: 9

Konference

Konference9th International Symposium on Automated Technology for Verification and Analysis
Nummer9
LandTaiwan
ByTaipei
Periode11/10/201114/10/2011

Bibliografisk note

Proceeding of the 9th International Symposium on automated Technology for Verification and Analysis. (eds.) Bultan, Tevfik & Hsiung, Pao-Ann.

Fingeraftryk Dyk ned i forskningsemnerne om 'Parametric modal transition systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater