Please enable JavaScript.

Coggle requires JavaScript to display documents.

12 . Design Verification, Eric Lozada Ramos - 24400362 - Coggle Diagram

- - - - Verificarlas con demostraciones o aserciones
- - - - Para evitar trampas y bucles infinitos
        
        Detectar estados inaccesibles y deadlocks
        
        Tablas de transición
        
        Análisis de cobertura de estados
- - - - Para organizar inspecciones y medir eficacia