Open AccessAutomation of Formal Verification of Programs in the Pifagor Language
Author(s) -
Mariya S. Ushakova,
Andrei A. Legalov
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2015-4-578-589
Subject(s) - correctness , computer science , programming language , theoretical computer science , proof assistant , automated theorem proving , graph rewriting , graph , mathematical proof , mathematics , geometry