Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

DOI10.1007/978-3-642-03466-4_7MaRDI QIDQ3393402zbMATH OpenOpenAlexFDO

Authors Nikola Beneš, Jan Křetínský, Kim G. Larsen, Jiří Srba

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_7

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) 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

• EXPTIME-completeness of thorough refinement on modal transition systems
• Refinement checking on parametric modal transition systems
• Modal transition systems: composition and LTL model checking
• On Modal Refinement and Consistency
• On refinements of Boolean and parametric modal transition systems

Cited in

(15)

• Checking simple properties of transition systems defined by Thue specifications
• Weighted modal transition systems
• Refinement checking on parametric modal transition systems
• On refinements of Boolean and parametric modal transition systems
• Extending modal transition systems with structured labels
• Abstract probabilistic automata
• Modal transition systems: composition and LTL model checking
• On Modal Refinement and Consistency
• Modal and mixed specifications: key decision problems and their complexities
• Abstract probabilistic automata
• Consistency and refinement for interval Markov chains
• Modal transition systems with weight intervals
• EXPTIME-complete decision problems for modal and mixed specifications
• Simulation relations and applications in formal methods
• EXPTIME-completeness of thorough refinement on modal transition systems

Describes a project that uses

Uses Software

• MTSA

This page was built for publication: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3393402)