| 0 | | | Результаты верификации ПО | 12.23 | 2 | 2 | | |
| Требования нижнего уровня верифицируемы | 8.3.3 г) | 0 | 0 | | | Результаты верификации ПО | 12.23 | 2 | 2 | | |
| Требования нижнего уровня соответствуют стандартам | 8.3.3 д) | 0 | 0 | 0 | | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | |
| Требования нижнего уровня трассируемы к требованиям верхнего уровня | 8.3.3 е) | 0 | 0 | 0 | | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | |
| Алгоритмы точны и корректны | 8.3.3 ж) | * | * | 0 | | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | |
| Архитектура ПО согласуется с требованиями верхнего уровня | 8.3.2 а) | * | 0 | 0 | | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | |
| Архитектура ПО непротиворечива | 8.3.2 б) | * | 0 | 0 | | Результаты верификации ПО | 12.23 | 2 | 2 | 2 | |
| Архитектура ПО совместима с объектным компьютером | 8.3.2 в) | 0 |
