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. |