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

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

Quality assurance processes based mainly on humans are not

Results

Publications

Total number of publications: 7


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

More info