Model checking modal transition systems using Kripke structures
From MaRDI portal
Recommendations
- A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems
- Abstraction-based model checking using modal transition systems
- Modal transition systems: composition and LTL model checking
- Local model checking in the modal mu-calculus
- scientific article; zbMATH DE number 2110619
Cited in
(13)- A verification-driven framework for iterative design of controllers
- Combining search space partition and abstraction for LTL model checking
- Modal transition systems: A foundation for three-valued program analysis
- An inductive approach for modal transition system refinement
- Minimal Proof Search for Modal Logic K Model Checking
- Modal abstractions of concurrent behavior
- A new model for model checking: cycle-weighted Kripke structure
- A unifying framework for model checking labeled Kripke structures, modal transition systems, and interval transition systems
- On model checking durational Kripke structures
- Model Checking Kernel P Systems
- CTL may be ambiguous when model checking Moore machines
- Revising system specifications in temporal logic
- On the consistency, expressiveness, and precision of partial modeling formalisms
This page was built for publication: Model checking modal transition systems using Kripke structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737005)
