Modal transition systems: composition and LTL model checking

DOI10.1007/978-3-642-24372-1_17MaRDI QIDQ3172917zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parametric modal transition systems
• 30 years of modal transition systems: survey of extensions and analysis
• On determinism in modal transition systems
• Refinement checking on parametric modal transition systems
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

Cited in

(21)

• Comparing disjunctive modal transition systems with an one-selecting variant
• Refinement checking on parametric modal transition systems
• Weighted modal transition systems
• MoTraS: a tool for modal transition systems and their extensions
• Parametric modal transition systems
• Model Checking Value-Passing Modal Specifications
• Observational refinement and merge for disjunctive MTSs
• scientific article; zbMATH DE number 2086523 (Why is no real title available?)
• On the consistency, expressiveness, and precision of partial modeling formalisms
• General quantitative specification theories with modal transition systems
• Compositionality for quantitative specifications
• Logical vs. behavioural specifications
• A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
• EXPTIME-completeness of thorough refinement on modal transition systems
• ACTL for modal interface automata
• An inductive approach for modal transition system refinement
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
• Richer interface automata with optimistic and pessimistic compatibility
• On determinism in modal transition systems
• Merging partial behaviour models with different vocabularies
• A linear-time-branching-time spectrum for behavioral specification theories

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)