VDMJ는 Java에서 작성된 VDM-SL, VDM++ 및 VDM-RT 사양 언어에 대한 기본 도구 지원을 제공합니다. 파서, 유형 검사기, 통역사, 디버거 및 증거 의무 생성기가 포함되어 있습니다. 그것은 Overture 일식 프로젝트에 의해 사용됩니다.
버전 기록
- 버전 N/A 에 게시 2011-06-24
- 버전 Jars 에 게시 2011-03-14
몇 가지 수정 및 업데이트
프로그램 세부 정보
- 범주: 그래픽 앱 > 다른
- 게시자: sf.net/projects/vdmj/
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows