Project details

 

Formální metody pro analýzu a verifikaci komplexních systémů

Project Identification:GAP202/10/1469
Project Period:1/2010 - 12/2014
Investor:link to a new windowCzech Science Foundation
Programme / Project Type:Standard Projects -
MU Faculty/Unit:
Faculty of Informatics
MU Investigator:Prof. RNDr. Antonín Kučera, Ph.D.
Project Team Member:Assoc. Prof. RNDr. Tomáš Brázdil, Ph.D.
RNDr. Václav Brožek, Ph.D.
RNDr. Vojtěch Forejt, Ph.D.
RNDr. Vojtěch Řehák, Ph.D.
Assoc. Prof. RNDr. Jan Strejček, Ph.D.
Publications/Results:more
Keywords:formal verification; stochastic systems; automata theory; temporal logics