| № |
Element
|
Documents count |
|---|---|---|
| 1 | control flow graph (>>>) | 1 |
| 2 | integration of verification tools (>>>) | 1 |
| 3 | model checking (>>>) | 1 |
| 4 | software (>>>) | 1 |
| 5 | verification automation (>>>) | 1 |
| 6 | verification of automata-based program (>>>) | 1 |
| 7 | автоматизация верификации (>>>) | 1 |
| 8 | верификация автоматной программы (>>>) | 1 |
| 9 | граф потока управления (>>>) | 1 |
| 10 | интеграция инструментов верификации (>>>) | 1 |
| 11 | проверка модели (>>>) | 1 |
| 12 | программное обеспечение (>>>) | 1 |
Facet 'Subjects'
Filter: Subjects:integration of verification tools