Bc. Jiří Zárevúcky

Master's thesis

Safety Checkers for Termination Proofs

Safety Checkers for Termination Proofs
Anotácia:
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 …viac
Abstract:
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 …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 17. 12. 2019

Obhajoba závěrečné práce

  • Obhajoba proběhla 3. 2. 2020
  • Vedúci: RNDr. Petr Novotný, Ph.D.
  • Oponent: Mgr. Marek Chalupa

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Parallel and Distributed Systems