Zobrazeno 1 - 1
of 1
pro vyhledávání: '"odvodzovanie invariantov"'
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
