GA201/09/1389, research and development project | Name: Verifikace a analýza velmi velkých počítačových systémů | Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems |
|
GP201/09/P497, research and development project | Name: Automatizovaná formální verifikace s využitím soudobého hardware | Investor: Czech Science Foundation, Automated formal verification using modern hardware |
|
MSM0021622419, plan (intention) | Name: Vysoce paralelní a distribuované výpočetní systémy | Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems |
|
MUNI/A/0914/2009, interní kód MU | Name: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Acronym: SV-FI MAV) | Investor: Masaryk University, Category A |
|
1M0545, research and development project | Name: Institut Teoretické Informatiky | Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science |
|