Outline
Hierarchical state machine specifications
Symbolic model checking
TCAS
Our experiences in analyzing TCAS using model checking
Previous slide
Next slide
Back to first slide
View graphic version