Pages that link to "Item:Q2432214"
From MaRDI portal
The following pages link to Concurrent software verification with states, events, and deadlocks (Q2432214):
Displayed 7 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- SAT-solving in CSP trace refinement (Q436423) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)