Craig's Interpolant in Model Checking Algorithms – Bc. Viktória Vozárová
Bc. Viktória Vozárová
Bakalářská práce
Craig's Interpolant in Model Checking Algorithms
Craig's Interpolant in Model Checking Algorithms
Anotace:
Táto práca prezentuje štúdiu Craigových interpolantov a algoritmov overujúcich modely pomocou interpolantov. Dva z týchto algoritmov sú v práci detailne popísané. Prvý algoritmus kombinujúci techniku overovania modelu a interpolácie bol uvedený Kennethom L. McMillanom v roku 2003. Algortimus mal veľký dopad a vznikli ďalšie techniky používajúce interpolanty. Ďalší algoritmus popísaný v práci bol vynájdený …víceAbstract:
This thesis presents a study of Craig's interpolants and model checking algorithms using interpolation. Two of the algorithms are described in detail in the thesis. The first algorithm combining model checking and interpolation was introduced by Kenneth L. McMillan in 2003. The algorithm had a great impact and other techniques using interpolants were developed. The other algorithm described in this …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 29. 5. 2017
Identifikátor:
https://is.muni.cz/th/mdjz8/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2017
- Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
- Oponent: prof. RNDr. Ivana Černá, CSc.
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
Basic Model Checking Problems for Stochastic Games
Václav Brožek -
Basic model-checking problems for stochastic games
Václav Brožek -
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš -
Black-Box Hyperparameter Tuning for Risk-Constrained Reinforcement Learning Algorithm
Ján Petrák -
Experimental evaluation of heuristic improvements of the Bellman-Ford algorithm
Šimon Soták -
A Game-Playing Algorithm for Briscola
Samuel Gazda -
Euclid's algorithm for large integers
Tomáš Marek -
Customers Classification using Recency Frequency, Monetary value (RFM), and K-means clustering algorithm
Mark Azietaku