The following pages link to Computer Aided Verification (Q5312901):
Displaying 6 items.
- A transformation-based approach to implication of GSTE assertion graphs (Q364478) (← links)
- GSTE is partitioned model checking (Q2385196) (← links)
- The Microcosm Principle and Compositionality of GSOS-Based Component Calculi (Q3090871) (← links)
- Symbolic Trajectory Evaluation (Q3176383) (← links)
- Computer Aided Verification (Q5312902) (← links)
- Correct Hardware Design and Verification Methods (Q5897066) (← links)