Original title: Zlepšení přesnosti formální analýzy programů v nástroji 2LS
Translated title: Improving Precision of Program Analysis in the 2LS Framework
Authors: Smutný, Martin ; Vojnar, Tomáš (referee) ; Malík, Viktor (advisor)
Document type: Bachelor's theses
Year: 2019
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]

Keywords: 2LS; abstraktní doména; abstraktní interpretace; analýza na základě šablon; analýza programů; formální verifikace; invariant; SSA forma; statická analýza; 2LS; abstract domain; abstract interpretation; formal verification; invariant; program analysis; SSA form; static analysis; template-based analysis

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/180165

Permalink: http://www.nusl.cz/ntk/nusl-403037


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses
 Record created 2019-08-26, last modified 2022-09-04


No fulltext
  • Export as DC, NUŠL, RIS
  • Share