엔터티 및 관계는 사용자 정의 유형으로 지정됩니다. PVS 증명 도구를 사용할 것입니다. 검증에는 유형 검사기에서 자동으로 생성되는 형식 정확성 조건을 증명하는 작업이 포함됩니다.
버전 기록
- 버전 N/A 에 게시 2010-03-12
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2010-03-12
프로그램 세부 정보
- 범주: 네트워크 및 인터넷 > 다른
- 게시자: ermt.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows