Introductory Case Studies
Final exam on professor’s display
- you are invited but unobserved
Internet gambling program flaw
- illegal to gamble in your area
Avionics control system contract
- impossible to meet software requirements
Small module of safety-critical system
- questions about integrity of system / interface