ALMEIDA, M. A.; http://lattes.cnpq.br/9672713875399042; ALMEIDA, Matheus Andrade de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIUFCGUniversidade Federal de Campina Grande, 2018-12-21)
The formal verification has great importance in the business world of technology, due to the
increase in the complexity of hardware and software systems which has led to a greater number
of fail found in the projects. ...