Project information
Automated formal verification using modern hardware

Information

This project doesn't include Faculty of Medicine. It includes Faculty of Informatics. Official project website can be found on muni.cz.
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