Compiling Applications for Analysis with DIVINE – Bc. Zuzana Baranová
Bc. Zuzana Baranová
Master's thesis
Compiling Applications for Analysis with DIVINE
Compiling Applications for Analysis with DIVINE
Anotácia:
Verifikácia a formálna analýza softvéru je drahá a časovo náročná. Z tohoto dôvodu sa len zriedkavo použije takáto dôsledná analýza na nekritické programy. To ale neznamená, že by tieto techniky nemohli zlepšiť kvalitu a spoľahlivosť bežného softvéru a tvorcovia verifikačných nástrojov sa dlhodobo snažia o zjednodušenie ich použitia. V ideálnom prípade by sa formálna analýza stala bežnou súčasťou vývojového …viacAbstract:
Verification and other formal analysis techniques are often demanding tasks, both in skill and time. This is why non-critical software is seldom subjected to the same rigorous analysis as safety-critical software. However, all software would benefit from an extra level of assurance of its reliability and there has been prolonged effort on the side of analysis tools developers to make their use easier …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 11. 12. 2019
Identifikátor:
https://is.muni.cz/th/wsm31/
Obhajoba závěrečné práce
- Obhajoba proběhla 5. 2. 2020
- Vedúci: doc. RNDr. Petr Švenda, Ph.D.
- Oponent: Mgr. Marek Chalupa
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Applied Informatics / Applied Informatics