Mgr. Henrich Lauko
Advanced ('rigorózní') thesis
Abstractions via Program Transformations
Abstractions via Program Transformations
Abstract:
Při automatické verifikaci programů využívá většina nástrojů abstrakce ke snížení složitosti analyzovaných systémů. Přestože jsou tyto techniky široce používány, je jejich implementace obvykle pevně spjata s konkrétními nástroji, což způsobuje nežádoucí složitost implementace a znemožňuje jakékoli použití v jiných nástrojích. Ve svém výzkumu se zaměřuji na zkoumání technik založených na abstrakci používaných …moreAbstract:
In computer-aided verification, most of the tools leverage abstraction techniques to reduce the complexity of analyzed systems. Even though these techniques are widely adopted, they are usually tightly integrated into tools, causing undesired complexity, and neglect any reusable design. In my research, I focus on the investigation of abstraction-based techniques used in program verification as abstract …more
Language used: English
Date on which the thesis was submitted / produced: 25. 11. 2019
Identifier:
https://is.muni.cz/th/uqf69/
Thesis defence
- Date of defence: 14. 1. 2020
- Reader: prof. RNDr. Luboš Brim, CSc., doc. Mgr. Adam Rogalewicz, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / field:
Theoretical computer science / Theoretical computer science
Theses on a related topic
-
Symbolic Model Checking of Hybrid CTL
Ondřej Huvar -
Symbolic Model Checking via Program Transformations
Henrich Lauko -
Symbolic Model Checking via Program Transformations
Henrich Lauko -
Predicate Abstraction of DiVinE Models
Jiří Novosad -
Symbolic Model Checking via Program Transformations
Henrich Lauko -
Abstraction via Program Transformation
Henrich Lauko -
LLVM Transformations for Model Checking
Vladimír Štill -
Abstraction via Program Transformation
Henrich Lauko