The following pages link to (Q4536601):
Displaying 28 items.
- Modal transition systems with weight intervals (Q444490) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Multi-robot LTL planning under uncertainty (Q2024360) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Computation tree logic model checking based on multi-valued possibility measures (Q2213111) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- Three-valued temporal logic \(Q_t\) and future contingents (Q2426728) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- On the Complexity of Semantic Self-minimization (Q2810966) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- Model-Checking View-Based Partial Specifications (Q4917056) (← links)
- Falsifying Safety Properties Through Games on Over-approximating Models (Q4982087) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- More Precise Partition Abstractions (Q5452605) (← links)
- Better Under-Approximation of Programs by Hiding Variables (Q5452617) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)
- Bounded Model Checking for Partial Kripke Structures (Q5505615) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
