Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Marušák, Matej"'
Autor:
Marušák, Matej
Cieľom tejto práce je návrh a implementácia generického strategy solveru pre nástroj 2LS. 2LS je analyzátor na statickú verifikáciu programov napísaných v jazyku C. Verifikovaný program je za využita abstraktnej interpretácie analyzovan
Externí odkaz:
http://www.nusl.cz/ntk/nusl-403166
