Parametric modal transition systems
From MaRDI portal
Publication:3172920
DOI10.1007/978-3-642-24372-1_20zbMATH Open1348.68120OpenAlexW143219598MaRDI QIDQ3172920FDOQ3172920
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
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)
- 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
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Comparing disjunctive modal transition systems with an one-selecting variant
- Coherent modal transition systems refinement
- Parametric and quantitative extensions of modal transition systems
- Logical vs. behavioural specifications
- Simulation relations and applications in formal methods
- MoTraS: a tool for modal transition systems and their extensions
- Modal transition system encoding of featured transition systems
- 30 years of modal transition systems: survey of extensions and analysis
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)
