![](/statics/img/blank.png)
VDMJ
라이센스: 무료 파일 크기: N/A
사용자 평가: 4.0/5 - 1 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 VDMJ
VDMJ는 Java에서 작성된 VDM-SL, VDM++ 및 VDM-RT 사양 언어에 대한 기본 도구 지원을 제공합니다. 파서, 유형 검사기, 통역사, 디버거 및 증거 의무 생성기가 포함되어 있습니다. 그것은 Overture 일식 프로젝트에 의해 사용됩니다.