Lanean...
Automation of Formal Verification of Programs in the Pifagor Language
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 programminglanguage and it has the capability of partial automation of the proof process. However, the method of dedu...
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Yaroslavl State University
2015-08-01
|
| Saila: | Modelirovanie i Analiz Informacionnyh Sistem |
| Gaiak: | |
| Sarrera elektronikoa: | https://www.mais-journal.ru/jour/article/view/274 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|