Paralelní volání SMT solverů v nástroji Bugst – Mgr. Viktor Toman
Mgr. Viktor Toman
Bachelor's thesis
Paralelní volání SMT solverů v nástroji Bugst
Parallel calls of SMT solvers in Bugst
Abstract:
Symbolická exekúcia je metóda analýzy programov, ktorá produkuje otázky vo forme formulí prvého rádu. Symbolické exekútory používajú SMT riešiče na rozhodovanie splniteľnosti týchto formulí vzhľadom na teórie na pozadí. Rozličné SMT riešiče majú rozličné silné stránky, a používanie viacerých SMT riešičov v symbolickom exekútore môže zlepšiť jeho výkon. Ciele tejto práce sú integrácia dvoch ďalších …moreAbstract:
Symbolic execution is a program analysis method that produces queries in form of first-order formulas. Symbolic executors use SMT solvers to decide satisfiability of these formulas modulo background theories. Different SMT solvers have different strengths and using multiple SMT solvers in a symbolic executor can improve its performance. The goals of this thesis are integration of two additional SMT …more
Language used: English
Date on which the thesis was submitted / produced: 19. 5. 2014
Identifier:
https://is.muni.cz/th/uy033/
Thesis defence
- Date of defence: 16. 6. 2014
- Supervisor: doc. RNDr. Jan Strejček, Ph.D.
- Reader: Mgr. Marek Trtík, 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 InformaticsBachelor programme / field:
Informatics / Mathematical Informatics
Theses on a related topic
-
Program Slicing and Symbolic Execution for Verification
Marek Chalupa -
Symbolic Execution and Program Loops
Marek Trtík -
Symbiosis of Symbolic Execution and Fuzzing
Adam Štafa -
SMT Solving for the Theory of Bit-Vectors
Martin Jonáš -
Znovupoužití známých výsledků SMT dotazů
Martin Kučera -
Tuned Sifting in CUDD for Satisfiability Solving
Jakub Szymsza -
Solver for Dynamic Vehicle Routing Problem with Time Windows
Jiří Papoušek -
Step-by-step Solver for Transportation Problems
Tugay Demir