Программы peptool.sf.net
-
The PEP tool Бесплатный
PEP представляет если вы работаете в рамках моделирования и проверки параллельных систем, обеспечивая большое количество различных языков моделирования и методов проверки (например, SDL, сети Петри и проверка моделей)