프로그램별 peptool.sf.net

The PEP tool 무료

PEP는 병렬 시스템을 위한 모델링 및 검증 프레임워크로, 다양한 모델링 언어 및 검증 기술(예: SDL, Petri nets 및 모델 검사)을 제공합니다.