Pages that link to "Item:Q1190489"
From MaRDI portal
The following pages link to Local model checking for infinite state spaces (Q1190489):
Displaying 15 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Symbolic bisimulations (Q674194) (← links)
- Modular abstractions for verifying real-time distributed systems (Q685095) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)
- Proving properties of dynamic process networks (Q1383156) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Selective mu-calculus and formula-based equivalence of transition systems (Q1970206) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- Bounded model checking of infinite state systems (Q2369883) (← links)
- On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations (Q4460690) (← links)
- Property-oriented expansion (Q5030184) (← links)
- Ensuring completeness of symbolic verification methods for infinite-state systems (Q5941104) (← links)
- Automated temporal reasoning about reactive systems (Q6560389) (← links)
- Modal and temporal logics for processes (Q6560391) (← links)
