Tematy prac

• 1. Symulacyjna weryfikacja protokołów kryptograficznych specyfikowanych w językach wysokiego poziomu.
• 2. Parametryczna weryfikacja modelowa: metody i algorytmy.
• 3. Interfejs graficzny do forułowania zapytań dla planera usług.
• 4. Narzędzie do edycji przykladów w języku planera usług.
• 5. WWW-edytor graficzny dla systemu Verics.
• 6. Repozytorium usług sieciowych dla potrzeb planera.
• 7. Generator uslug testowych dla zaawanowancyh zastosowań.
• 8. Koncepcja i implementacja wyboru optymalnych planów konkretynych w planerze usług.
• 9. Wizualizacja kontrprzykładów dla weryfikatora systemów w Promeli.