Bc. Vladimír Uhlík
Bachelor's thesis
Compiling C to Cthulhu
Compiling C to Cthulhu
Abstract:
Prítomnosť chýb v programoch je nežiaducim javom pri vývoji softvéru. Jedným zo spôsobov overovania správnosti programu je formálna verifikácia. Cieľom tejto práce je rozšíriť možnosti verifikácie pomocou jazyka Cthulhu návrhom a implementáciou prekladača jazyka C do Cthulhu. Cthulhu je nízkoúrovňový, staticky typovaný, funkcionálny programovací jazyk určený na transformáciu, testovanie a verifikáciu …moreAbstract:
The presence of bugs in programs is an undesirable software development phenomenon. One way to verify the correctness of a program is through formal verification. The aim of this thesis is to extend the verification capabilities of Cthulhu by designing and implementing a C-to-Cthulhu compiler. Cthulhu is a low-level, statically typed, functional programming language aimed at program transformation …more
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2024
Identifier:
https://is.muni.cz/th/paeh4/
Thesis defence
- Date of defence: 24. 6. 2024
- Supervisor: RNDr. Petr Ročkai, Ph.D.
- Reader: Mgr. Adam Matoušek
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.