The following pages link to Verification: Theory and Practice (Q5305645):
Displaying 8 items.
- Composing model programs for analysis (Q710670) (← links)
- Model checking open systems with alternating projection temporal logic (Q2424878) (← links)
- Standalone Tactics Using OpenTheory (Q2914758) (← links)
- (Q3343813) (← links)
- Play to Test (Q3434603) (← links)
- Composition of Model Programs (Q3614846) (← links)
- (Q5021015) (← links)
- Refinements for open automata (Q6550592) (← links)