Formal Verification Methods
Introduction, relation to other courses, basic taxonomy of formal verification techniques. 18. 2. 2013
Slides
Supplementary materials
- The big cost of software bugs [Bloomberg popular article]
-
Kaivola et al.: Replacing Testing with Formal Verification in Intel Core i7 Processor Execution Engine Validation [Springer Link]