Нужно решить задачу по теме Computer-Aided Formal Verification