MAC0239 - Métodos Formais em Programação

Métodos formais na ciência da computação são técnicas baseadas em formalismos matemáticos para a especificação, verificação e desenvolvimento de sistemas de software e hardware