1 paper
Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela +3
Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program s…