30 years of modal transition systems: survey of extensions and analysis
From MaRDI portal
Publication:5217296
Recommendations
Cited in
(16)- Counterexample-guided inductive synthesis for probabilistic systems
- On determinism in modal transition systems
- scientific article; zbMATH DE number 1693039 (Why is no real title available?)
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- A Sound Observational Semantics for Modal Transition Systems
- Modal transition systems: composition and LTL model checking
- Advancing orchestration synthesis for contract automata
- Coherent modal transition systems refinement
- Extending modal transition systems with structured labels
- 20 years of modal and mixed specifications.
- Parametric modal transition systems
- Parametric and quantitative extensions of modal transition systems
- Logical vs. behavioural specifications
- Counterexample-driven synthesis for probabilistic program sketches
- Quantitative Modal Transition Systems
- MoTraS: a tool for modal transition systems and their extensions
This page was built for publication: 30 years of modal transition systems: survey of extensions and analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5217296)