Project information
Automated formal verification using modern hardware

Investor logo
Project Identification
GP201/09/P497
Project Period
1/2009 - 12/2011
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics

Publications

Total number of publications: 25


Previous 1 2 3 Next

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

More info