Documents Formal Verification in Industry – Current State and Future Directions

Outline What‘s the difference between „verification in industry“ and „verification elsewhere“ ? The problem with abstractions Verification by simulation – why…

Documents Formal Verification in Industry – Current State and Future Directions

Outline What‘s the difference between „verification in industry“ and „verification elsewhere“ ? The problem with abstractions Verification by simulation – why…