Parametric modal transition systems
From MaRDI portal
Publication:3172920
DOI10.1007/978-3-642-24372-1_20zbMATH Open1348.68120OpenAlexW143219598MaRDI QIDQ3172920FDOQ3172920
Mikael H. Møller, Jan Křetínský, Jiří Srba, Nikola Beneš, Kim G. 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
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 (10)
- Modal transition systems with weight intervals
- Distribution of Modal Transition Systems
- Parametric and Quantitative Extensions of Modal Transition Systems
- 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
- Logical vs. behavioural specifications
- Simulation relations and applications in formal methods
- Modal transition system encoding of featured transition systems
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)
