Safety Verification Techniques

• Dynamic Analysis

  • Functional testing, probabilistic testing, ...

• Static Analysis

  • Informal - code inspection, hazard analysis, ...
  • Formal - SCR, code verification tools, ...

Previous slide

Next slide

Back to first slide

View graphic version