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