Mapa mental
Formal Verification
Contenido del mapa
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
Información
- Descripción
- Master Software Verification Mapa Mental sobre Formal Verification, creado por Shad Yueh el 30/06/2015.
- Creado por
- Shad Yueh
- Visitas
- 0
- Valoración