Mind map
Formal Verification
Map content
Formal Verification
- Techniques to prove or disprove safety properties
Model Checking
- Applications
- Equivalence Checking
- "Golden Model"
- Property Checking
- Properties Specification
- Equivalence Checking
- Applications
Theorem Proving
- Mathematical reasoning
- Logical Inference
Information
- Description
- Master Software Verification Mind Map on Formal Verification, created by Shad Yueh on 30/06/2015.
- Created by
- Shad Yueh
- Views
- 0
- Rating