Descripción
Metodologías en especificación formal de software, desarrollo y verificación. El uso de demostración de teoremas, deducción automatizada y otros métodos formales relacionados para la corrección del software. Aplicaciones en verificación de programas y computación segura.
Texto de referencia en su idioma de origen
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/COMP/