EXPTIME-completeness of thorough refinement on modal transition systems
DOI10.1016/J.IC.2012.08.001zbMATH Open1282.68118OpenAlexW2021472259MaRDI QIDQ690504FDOQ690504
Kim G. Larsen, Nikola Beneš, Jiří Srba, Jan Křetínský
Publication date: 27 November 2012
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2012.08.001
Recommendations
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
- EXPTIME-complete decision problems for modal and mixed specifications
- On refinements of Boolean and parametric modal transition systems
- scientific article; zbMATH DE number 2015290
- Refinement checking on parametric modal transition systems
- Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
- Expressive completeness through logically tractable models
- Modal transition systems: composition and LTL model checking
- Adequacy and complete axiomatization for timed modal logic
- scientific article; zbMATH DE number 1499093
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Deciding bisimilarity is P-complete
- Compositional verification and 3-valued abstractions join forces
- Title not available (Why is that?)
- Three Partition Refinement Algorithms
- CCS expressions, finite state processes, and three problems of equivalence
- On Weak Modal Compatibility, Refinement, and the MIO Workbench
- On determinism in modal transition systems
- Refinement and Consistency of Timed Modal Specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal Abstractions of Concurrent Behaviour
- Modal and mixed specifications: key decision problems and their complexities
- Mixed Transition Systems Revisited
- Comparing disjunctive modal transition systems with an one-selecting variant
- On Modal Refinement and Consistency
- Complexity of Decision Problems for Mixed and Modal Specifications
- Title not available (Why is that?)
Cited In (2)
Uses Software
This page was built for publication: EXPTIME-completeness of thorough refinement on modal transition systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690504)
