The following pages link to BLAST (Q15473):
Displaying 4 items.
- Computer Aided Verification (Q5900683) (← links)
- Abstraction refinement and antichains for trace inclusion of infinite state systems (Q5919079) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5919481) (← links)
- Automatically verifying temporal properties of pointer programs with cyclic proof (Q5920091) (← links)