A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Automation of Formal Verification of Programs in the Pifagor Language
2015
Modelirovanie i Analiz Informacionnyh Sistem
Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programming language and it has the capability of partial automation of the proof process. However, the method of deduction is not widely used for verification of parallel programs because of high complexity of the process. The usage of the functional data-flow paradigm of parallel programming allows to decrease
doi:10.18255/1818-1015-2015-4-578-589
fatcat:suqnqeeeuvab5bfm2g74zaywau