Feasibility of Static Analysis

The major drawbacks to static analysis arise simply from practicality and feasibility concerns



• Nancy Leveson in SAFEWARE
  

• Labor-intensive

• Emphasis on “correctness” verification

Previous slide

Next slide

Back to first slide

View graphic version