Zobrazeno 1 - 2
of 2
pro vyhledávání: '"SSA forma"'
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
Autor:
Malík, Viktor
Cieľom tejto práce je návrh analýzy tvaru haldy vhodnej pre potreby analyzátora 2LS. 2LS je nástroj pre analýzu C programov založený na automatickom odvodzovaní invariantov s použitím SMT solvera. Navrhované riešenie obsahuje spôsob re
Externí odkaz:
http://www.nusl.cz/ntk/nusl-363894