Spinja Promela 컴파일러

Promela 용 Java 기반 모델 검사기
지금 다운로드

Spinja Promela 컴파일러 순위 및 요약

광고

  • Rating:
  • 특허:
  • Apache
  • 게시자 이름:
  • University of Twente
  • 게시자 웹사이트:
  • http://code.google.com/u/Theo.Ruys/
  • 운영체제:
  • Mac OS X
  • 파일 크기:
  • 237 KB

Spinja Promela 컴파일러 태그


Spinja Promela 컴파일러 설명

Spinja Promela 컴파일러는 Java로 작성된 Promela의 무료 및 오픈 소스 모델 검사기입니다. Promela는 스핀 모델 검사기의 모델링 언어입니다. Spinja는 Promela Language의 큰 하위 집합을 지원합니다. Spinja Promela 컴파일러를 사용하여 교착 상태, 어설 션, Liveness 특성 및 LTL 특성 (절대로 청구하지 않음)의 부재를 확인할 수 있습니다. Spinja 확인 모드는 (중첩 된) 깊이 첫 번째 검색 또는 폭을 첫 번째 검색을 사용할 수 있습니다. Spinja Promela Compiler는 크로스 플랫폼이며 Mac OS X, Windows 및 Linux에서 작동합니다.


Spinja Promela 컴파일러 관련 소프트웨어

gvnix.

Java 앱을 구축하기위한 OM 엔터프라이즈 지식 및 표준에 중점을 둡니다. ...

94 13.9 MB

다운로드

회사 소개