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.

members

here now

Everything about formal methods →