Disjunctive Modal Transition Systems – RNDr. Nikola Beneš, Ph.D.
RNDr. Nikola Beneš, Ph.D.
Disertační práce
Disjunctive Modal Transition Systems
Disjunctive Modal Transition Systems
Anotace:
Otázka korektnosti je bezpochyby zásadním faktorem při návrhu počítačových systémů, což dělá z oblasti specifikace a verifikace důležitou součást informatiky. K tomu, abychom mohli v této oblasti použít formálních metod, potřebujeme dobrý specifikační formalismum. Jednou možností je popsat požadované vlastnosti systému pomocí formulí vhodné logiky. Jinou možností je přístup založený na chování, při …víceAbstract:
The question of correctness is without doubt a crucial issue in the design of computer systems, making the field of specification and verification an important part of computer science. To employ formal methods in this field, we need to have a good specification formalism. One option is to specify the desired properties of a system as formulae of a suitable logic. Another option is the behavioural …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 8. 2. 2012
Identifikátor:
https://is.muni.cz/th/eo45z/
Obhajoba závěrečné práce
- Obhajoba proběhla 5. 6. 2012
- Vedoucí: prof. RNDr. Ivana Černá, CSc.
- Oponent: doc. RNDr. Tomáš Brázdil, Ph.D., Assoc. Prof. Andrzej Wasowski
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é) / Informatika