Pages that link to "Item:Q1920213"
From MaRDI portal
The following pages link to Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings (Q1920213):
Displayed 12 items.
- Finding and fixing faults (Q414907) (← links)
- Analysis of a biphase mark protocol with Uppaal and PVS (Q855013) (← links)
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Automatic verification of real-time systems with discrete probability distributions. (Q1603709) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Iterating transducers (Q1858440) (← links)
- Verifying persistent security properties (Q1886452) (← links)
- Complexity results on branching-time pushdown model checking (Q2373715) (← links)
- Model checking for process rewrite systems and a class of action-based regular properties (Q2503332) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)