The PEP tool 2.0b

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표

에 대해 The PEP tool

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