Bc. Jiří Zárevúcky
Master's thesis
Safety Checkers for Termination Proofs
Safety Checkers for Termination Proofs
Abstract:
Automatické (neasistované) dokazování ukončení programů je jedním z důležitých témat současného výzkumu. Většina tohoto výzkumu však je dosud zaměřena na analýzu abstrakcí které nedokáží modelovat pravděpodobnostní chování. V této práci se zabýváme historií a současným stavem jak klasického, tak pravděpodobnostního dokazování ukončení. Primárně se zaměřujeme na nástroj T2, který je v současnosti považován …moreAbstract:
Automatic (unassisted) proving of program termination is one of important topics of contemporary research. Most of the research so far, however, has been focused on program abstractions that do not model probabilistic behavior. In this thesis, we investigate the history and current state of both classical and probabilistic termination proving. In particular, we take a close look at a state-of-the-art …more
Language used: English
Date on which the thesis was submitted / produced: 17. 12. 2019
Identifier:
https://is.muni.cz/th/h4iwh/
Thesis defence
- Date of defence: 3. 2. 2020
- Supervisor: RNDr. Petr Novotný, Ph.D.
- Reader: Mgr. Marek Chalupa
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 InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
A tool for checking texts extracted from PDF
Samuel Benko -
Symbolic Model Checking of Hybrid CTL
Ondřej Huvar -
Improving out-of-bound access checking in Symbiotic
Anna Řechtáčková -
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
Jan Mačák -
Craig's Interpolant in Model Checking Algorithms
Viktória Vozárová -
Refined Büchi automata for faster model checking
Vojtěch Rujbr -
Model Checking Software
Petr Ročkai