Program Verification

• Deadlock (Reachability)

• Safety Critical Systems (B)

Previous slide

Next slide

Back to first slide

View graphic version