Parametric modal transition systems

DOI10.1007/978-3-642-24372-1_20MaRDI QIDQ3172920zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Refinement checking on parametric modal transition systems
• Parametric and quantitative extensions of modal transition systems
• 30 years of modal transition systems: survey of extensions and analysis
• On refinements of Boolean and parametric modal transition systems
• Modal transition systems: composition and LTL model checking

Cited in

(17)

• 30 years of modal transition systems: survey of extensions and analysis
• Modal transition systems with weight intervals
• On determinism in modal transition systems
• Observational refinement and merge for disjunctive MTSs
• Distribution of Modal Transition Systems
• A Sound Observational Semantics for Modal Transition Systems
• On refinements of Boolean and parametric modal transition systems
• Modal transition systems: composition and LTL model checking
• Refinement checking on parametric modal transition systems
• Comparing disjunctive modal transition systems with an one-selecting variant
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• Coherent modal transition systems refinement
• Parametric and quantitative extensions of modal transition systems
• Logical vs. behavioural specifications
• Simulation relations and applications in formal methods
• Modal transition system encoding of featured transition systems
• MoTraS: a tool for modal transition systems and their extensions

This page was built for publication: Parametric modal transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172920)