Petra
Abra el estándar para la verificación de software formal escalable
Destacado
86 Votos
Descripción
Petra es el primer estándar abierto del mundo para verificación de software formal escalable (orientado a objetos) y herramientas de desarrollador profesional para el estándar.