[model-checking] Комиссия для АСВК