Parametric Modal Transition Systems

DOI10.1007/978-3-642-24372-1_20zbMath1348.68120OpenAlexW143219598MaRDI QIDQ3172920

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

Publication date: 7 October 2011

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_20

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Modal transition system encoding of featured transition systems ⋮ Simulation relations and applications in formal methods ⋮ Coherent modal transition systems refinement ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ Logical vs. behavioural specifications ⋮ Refinement checking on parametric modal transition systems