|
|
|
Компьютеры - Проверка моделей - Инструменты23 января 2011
Оглавление:
1. Проверка моделей
2. Инструменты
- BLAST — статический анализатор Си программ
- CADP — инструмент проектирования протоколов и распределенных систем
- CHESS — инструмент для тестирования многопоточных .Net и Win32, 64 программ
- верификатор кода MPI программ
- Java Pathfinder — свободный инструмент для проверки многопоточных Java программ
- MoonWalker — свободный инструмент для проверки .Net программ
- MRMC
- NuSMV — символьный модел чекер
- PRISM — вероятностный, символический модел чекер
- Rabbit — модел чекер для систем реального времени
- SPIN — модел чекер общего назначения для верификации корректности распределенных программ
- Vereofy — модел чекер программ компонентных систем
- μCRL2 — свободный инструмент, основан на ACP
- UPPAAL — инструментарий для моделирования, верификации и валидации систем реального времени моделируемых как сети временных автоматов
Просмотров: 1807
|