Etiqueta: Métodos formales

Historia de Métodos formales

Un método formal es una técnica aplicada en el desarrollo de sistemas informáticos, con el fin de automatizar partes del proceso o dar prueba de la corrección del sistema. Particularmente en sistemas criticas, errores en el software pueden tener efectos

Etiquetado con:
Top