R0508 Zveřejnění výsledků formální kontroly ()