Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Zhanna Kaufman"'
Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive. Tools that automate formal verification by learning from proof corpor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a9b2017cc485608cde6861161290846
