[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 ...