Constraint Solving Top Verifikace složitých systémů

Verifikace složitých systémů

Vlak Pendolino z Prahy do Ostravy měl na začátku vážné problémy: občas zastavoval během jízdy kvůli chybě v softwaru. Podobné chyby způsobovaly vážná neštěstí, například havárii raketoplánu Ariane 5 v roku 1996. Náš výzkum je zaměřen na pomoc se v budoucnosti takovým problémům vyhýbat. Nabízíme velké množství témat pro bakalářské, diplomové a doktorandské práce pro studenty informatiky, řízení nebo matematiky.

Dle zájmu studenta práce může být zaměřena na aplikace, na teorii/matematiku, anebo spíš na vývoj softwaru. Náš výzkum probíhá v mezinárodnímu kontextu, například, ve spolupráci s velkým projektem v Německu.

Pro více informací, prosím kontaktuje mne!

Příklady možných témat jsou uvedeny níže. Mnohem více témat je k dispozici po osobní domluvě.


Constraint           Solving Top Verifikace složitých systémů