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