Software Safety Verification

• Safety process

  • Identify, analyze and control hazards

• “IS it safe?”

  • Safety vs correctness/reliability
  • Demonstrate absence of hazards

• Safety verification methods

  • Dynamic analysis, Static analysis

Previous slide

Next slide

Back to first slide

View graphic version