Project information

Project information
Formal verification: algorithms, properties of modelling formalisms amd temporal logics

Investor logo
Project Identification
Project Period
1/2008 - 12/2010
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics
formal verification, model checking, infinite systems, temporal logics

Quality assurance processes based mainly on humans are not



Total number of publications: 7

You are running an old browser version. We recommend updating your browser to its latest version.

More info