The following pages link to Verification: Theory and Practice (Q5305658):
Displaying 5 items.
- TLPVS (Q21998) (← links)
- Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Explicit Fair Scheduling for Dynamic Control (Q5187822) (← links)