Automating Software Development with Explicit Model Checking – Mgr. Petr Bauch, Ph.D.
Mgr. Petr Bauch, Ph.D.
Disertační práce
Automating Software Development with Explicit Model Checking
Automating Software Development with Explicit Model Checking
Anotace:
Tato práce je postavená na předpokladu, že funkční požadavky je možné vyjádřit temporální logikou a obsahem této práce jsou nové způsoby verifikace jak požadavků samotných tak jejích splnění běhěm celého vývojového procesu. Cílem práce je automatizace některých verifikačních procesů, které se v současné době používají během vývoje programů. Hlavním prostředkem pro dosažení tohoto cíle je technika ověřování …víceAbstract:
This thesis builds on the fact that functional requirements can be expressed in temporal logic and we propose new means of verifying the requirements themselves and the compliance to those requirements throughout the development process. The goal is the automation of some of the verification processes currently employed in software development. The tool is the automata-based, explicit-state model checking …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 10. 2015
Identifikátor:
https://is.muni.cz/th/o3wbz/
Obhajoba závěrečné práce
- Obhajoba proběhla 18. 2. 2016
- Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
- Oponent: RNDr. Jan Kofroň, Ph.D., Assoc. Prof. Keijo Heljanko
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 informatikyDoktorský studijní program / obor:
Informatika (čtyřleté) / Počítačové systémy a technologie
Práce na příbuzné téma
-
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
Martin Jonáš -
Improving out-of-bound access checking in Symbiotic
Anna Řechtáčková -
Symbolic Model Checking of Hybrid CTL
Ondřej Huvar -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
Jan Mačák -
A tool for checking texts extracted from PDF
Samuel Benko -
Interface for Integration of Language Checking Tools to Text Editing Software
Jan Tojnar -
Limits of efficient FO model checking of geometric graphs
Filip Pokrývka