The PEP tool 2.0b

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

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

버전 기록

  • 버전 2.0beta4 에 게시 2004-09-13
    몇 가지 수정 및 업데이트
  • 버전 2.0beta4 에 게시 2004-09-13

프로그램 세부 정보