Программы peptool.sf.net

  • The PEP tool Бесплатный

    PEP представляет если вы работаете в рамках моделирования и проверки параллельных систем, обеспечивая большое количество различных языков моделирования и методов проверки (например, SDL, сети Петри и проверка моделей)