Modal transition systems: composition and LTL model checking
From MaRDI portal
Publication:3172917
DOI10.1007/978-3-642-24372-1_17zbMATH Open1348.68119OpenAlexW191732302MaRDI QIDQ3172917FDOQ3172917
Authors: Nikola Beneš, Jan Křetínský, I. Černá 
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_17
Recommendations
Cited In (20)
- General quantitative specification theories with modal transition systems
- EXPTIME-completeness of thorough refinement on modal transition systems
- On determinism in modal transition systems
- Model Checking Value-Passing Modal Specifications
- Richer interface automata with optimistic and pessimistic compatibility
- ACTL for modal interface automata
- Refinement checking on parametric modal transition systems
- Weighted modal transition systems
- Comparing disjunctive modal transition systems with an one-selecting variant
- On the consistency, expressiveness, and precision of partial modeling formalisms
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
- Merging partial behaviour models with different vocabularies
- Parametric modal transition systems
- Title not available (Why is that?)
- Logical vs. behavioural specifications
- A linear-time-branching-time spectrum for behavioral specification theories
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
- Compositionality for quantitative specifications
- MoTraS: a tool for modal transition systems and their extensions
- An inductive approach for modal transition system refinement
This page was built for publication: Modal transition systems: composition and LTL model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172917)
