Mindmap
Formal Verification
Inhalt der Mindmap
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
Informationen
- Beschreibung
- Master Software Verification Mindmap am Formal Verification, erstellt von Shad Yueh am 30/06/2015.
- Erstellt von
- Shad Yueh
- Aufrufe
- 0
- Bewertung