Thagard

Métodos formais são o uso de modelagem matemática para a especificação, desenvolvimento e verificação de sistemas em ambos software e eletrônico hardware<. Os métodos formais são usados para garantir que esses sistemas sejam desenvolvidos sem erros. A base matemática subjacente aos métodos formais é usada para ajudar a garantir a adequação do projeto para resultar … Ler mais