Formal methods

Técnicas baseadas em matemática para a especificação, desenvolvimento e verificação de sistemas de software e hardware. O uso de métodos formais visa garantir a correção do sistema.