| |||
| генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы) | |||
| генератор условий верификации | |||
| |||
| генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы) | |||
| генератор условий верификации | |||
