assertion-based
| verification
| assertion-based | |
| progr. | на основе утверждений |
| verification | |
| gen. | осуществление контроля; проверка; подтверждение; исследование; засвидетельствование; удостоверение |
| construct. | поверка |
| |||
| на основе утверждений (ssn) | |||
|
assertion-based : 4 phrases in 2 subjects |
| General | 1 |
| Programming | 3 |