Mgr. Petr Ročkai, Ph.D.

Advanced ('rigorózní') thesis

Model Checking Software

Model Checking Software
Anotácia:
Systémy které navrhujeme se stávají složitějšími a ověřit jejich správnost je často mimo lidských možností. Máme ovšem k dispozici formální metody, díky kterým lze ověřovat správnost systémů, které by jinak byly zcela mimo dosah ručních metod. V současnosti, z mnoha různých důvodů, jsou formální metody aplikovány jen v omezeném počtu případů. Širším cílem navrhované disertace je zlepšit aplikovatelnost …viac
Abstract:
The systems we design are increasing in complexity, and it is often beyond human capacity to verify their correctness. Formal methods exist to augment the human verifier with automated tools that can help them ensure correctness of a system that would be far beyond their capabilities to check manually. Nowadays, for a variety of reasons, formal methods are applied only to a very limited number of systems …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 8. 11. 2011

Obhajoba závěrečné práce

  • Obhajoba proběhla 11. 1. 2012
  • Oponent: doc. Mgr. Radek Pelánek, Ph.D., RNDr. Ondřej Šerý, Ph.D.

Citační záznam

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 informatiky

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / odbor:
Informatics / Parallel and Distributed Systems