Software Safety Verification

Hazards

Source Code

?

Previous slide

Next slide

Back to first slide

View graphic version