Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Gadelha, Mikhail Y. R."'
Recently, the k-induction algorithm has proven to be a successful approach for both finding bugs and proving correctness. However, since the algorithm is an incremental approach, it might waste resources trying to prove incorrect programs. In this pa
Externí odkaz:
http://arxiv.org/abs/1706.02136
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.