Automated Synthesis of Probabilistic Termination Proofs – Bc. Radoslav Kvasňovský
Bc. Radoslav Kvasňovský
Bachelor's thesis
Automated Synthesis of Probabilistic Termination Proofs
Automated Synthesis of Probabilistic Termination Proofs
Abstract:
Práca predstavuje známy algoritmus na analýzu terminácie pravdepodobnostných programov ako aj koncepty potrebné na porozumenie algoritmu. Práca je rozdelená do troch častí. V prvej zavedieme základné myšlienky analýzy terminácie klasických programov. V nasledujúcej uvedieme pravdepodobnostné alternatívy týchto myšlienok. V poslednej časti algoritmus detailne popíšeme a demonštrujeme na jednoduchom …moreAbstract:
This thesis presents a known probabilistic termination analysis algorithm, as well as the concepts required for the comprehension of its workings. The paper consists of three parts. Firstly, we establish basic ideas of traditional termination analysis. Secondly, we present their probabilistic alternatives. Finally, we explain the algorithm in detail and demonstrate it on a simple example. To complement …more
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2024
Identifier:
https://is.muni.cz/th/k74xa/
Thesis defence
- Date of defence: 27. 6. 2024
- Supervisor: doc. RNDr. Petr Novotný, Ph.D.
- Reader: Mgr. Marek Trtík, Ph.D.
Citation record
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 / Informatics
Theses on a related topic
- No theses on a related topic available.