Why Semantics-based Program Analysis?
To give confidence
to formalise safety
Previous slide
Next slide
Back to first slide
View graphic version