[model-checking] Итоги практикума