| |||
| среда проверки (ssn); среда верификации (ssn) | |||
| среда формальной верификации (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk) | |||
|
verification environments : 8 phrases in 3 subjects |
| Electronics | 4 |
| Forensics | 1 |
| Programming | 3 |