From textual specification to formal verification
Název práce v češtině: | Z textové specifikace k formální verifikaci |
---|---|
Název v anglickém jazyce: | From textual specification to formal verification |
Klíčová slova: | Verifikace, Požadavky, Formální metody, Modelování |
Klíčová slova anglicky: | Verification, Requirements, Formal Methods, Modeling |
Akademický rok vypsání: | 2009/2010 |
Typ práce: | disertační práce |
Jazyk práce: | angličtina |
Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
Vedoucí / školitel: | doc. RNDr. Petr Hnětynka, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 29.09.2009 |
Datum zadání: | 29.09.2009 |
Datum a čas obhajoby: | 24.09.2013 09:00 |
Datum odevzdání elektronické podoby: | 31.05.2013 |
Datum odevzdání tištěné podoby: | 31.05.2013 |
Datum proběhlé obhajoby: | 24.09.2013 |
Oponenti: | Prof. Dr. Volker Gruhn |
Ing. Josef Steinberger, Ph.D. | |
Konzultanti: | prof. RNDr. Tomáš Bureš, Ph.D. |