Pages that link to "Item:Q1970206"
From MaRDI portal
The following pages link to Selective mu-calculus and formula-based equivalence of transition systems (Q1970206):
Displaying 12 items.
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- Reduced models for efficient CCS verification (Q816205) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Cartesian difference categories (Q2200813) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION (Q3021982) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- Formal Verification of Concurrent Systems via Directed Model Checking (Q5178996) (← links)
- Abstracting Models from Execution Traces for Performing Formal Verification (Q5305770) (← links)
