Tradeoffs
Our approach was slower than the Heimdahl & Leveson approach
Their approach reported some false positives
Previous slide
Next slide
Back to first slide
View graphic version