formal methods

En ciencias de la computación, los métodos formales son técnicas matemáticamente rigurosas para la especificación, el desarrollo, el análisis y la verificación de sistemas de software y hardware. El uso de métodos formales para el diseño de software y hardware está motivado por la expectativa de que, como en otras disciplinas de la ingeniería, la realización de un análisis matemático apropiado puede contribuir a la confiabilidad y robustez de un diseño. Los métodos formales emplean una variedad de fundamentos de la ciencia teórica de la computación, incluyendo cálculos lógicos, lenguajes formales, teoría de autómatas, teoría de control, semántica de programas, sistemas de tipos y teoría de tipos. Background Los métodos semiformales son formalismos y lenguajes que no se consideran completamente "formales". Difiere la tarea de completar la semántica a una etapa posterior, que luego se realiza ya sea mediante interpretación humana o mediante interpretación a través de software como generadores de código o casos de prueba. Taxonomy