PEP는 병렬 시스템을 위한 모델링 및 검증 프레임워크로, 다양한 모델링 언어 및 검증 기술(예: SDL, Petri nets 및 모델 검사)을 제공합니다.
버전 기록
- 버전 2.0beta4 에 게시 2004-09-13
몇 가지 수정 및 업데이트 - 버전 2.0beta4 에 게시 2004-09-13
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: peptool.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 2.0B
- 플랫폼: linux
PEP는 병렬 시스템을 위한 모델링 및 검증 프레임워크로, 다양한 모델링 언어 및 검증 기술(예: SDL, Petri nets 및 모델 검사)을 제공합니다.