Zobrazeno 1 - 2
of 2
pro vyhledávání: '"template-based analysis"'
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
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.