Pages that link to "Item:Q1920213"

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)