- -

Listar por palabra clave "Comprobador de modelos SPIN"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Comprobador de modelos SPIN"

Ordenar por:Orden:Resultados:

  • thumb
    Un entorno de modelado online para el model checker SPIN 
    Juan Achahuanco, Arturo Raúl de (Universitat Politècnica de València, 2022-09-14)
    [ES] Las herramientas de verificación de modelos model checking existentes ofrecen ciertas facilidades para el análisis y comprensión del proceso de verificación de sistemas hardware y software. Este es el caso del ...