R0507 Vygenerování protokolů z formální kontroly
Projekty/uchazeči (ne)splňující podmínky VS