
Мягкое введение в Coq: начало
- Tutorial
... формальную верификацию – формальное доказательство соответствия предмета верификации его формальному ... п.
Процедура формальной верификации – это довольно ... ее соответствие формальному описанию.
...
Читать дальше →