30 years of modal transition systems: survey of extensions and analysis

DOI10.1007/978-3-319-63121-9_3MaRDI QIDQ5217296zbMATH OpenOpenAlexFDO

Authors Jan Křetínský

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63121-9_3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parametric and quantitative extensions of modal transition systems
• Parametric modal transition systems
• Quantitative Modal Transition Systems
• MoTraS: a tool for modal transition systems and their extensions
• Process algebra for modal transition systemses

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)