 |
| English | Russian |
| verification environment | среда формальной верификации (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk) |
|
| English | Russian |
| verification environment | среда формальной верификации (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk) |