The following pages link to Computer Aided Verification (Q5312902):
Displaying 5 items.
- A transformation-based approach to implication of GSTE assertion graphs (Q364478) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Partitioned PLTL model-checking for refined transition systems (Q1023285) (← links)
- GSTE is partitioned model checking (Q2385196) (← links)
- Computer Aided Verification (Q5312901) (← links)