 | 왜무료 소프트웨어 확인 플랫폼 |
| 지금 다운로드 | |
왜 순위 및 요약
광고
왜 태그
왜 설명
무료 소프트웨어 확인 플랫폼 다음과 같은 몇 가지 도구가 포함 된 이유는 다음과 같습니다. 예); · Java 프로그램 검증을위한 도구 Krakatoa; · C 프로그램 검증을위한 도구 Caduceus; Caduceus는 이제 다소 쓸모가 없으며 사용자는 Frama-C로 전환해야합니다. 왜 많은 기존의 발전기 (CoQ, Hol 4, Hol Light, PVS, Isabelle / Hol, Mizar 및 Simplify, Alt-Ergo, Z3, CVC3와 같은 의사 결정 절차와 같은 증거 조수)와 통합되어야하는 이유의 주요 기능 중 하나는 yices 등). 요구 사항 : · 객관적인 CAML 3.09 이상 이 릴리스에서는 새로운 기능 : · 는 'not_found'예외가 있습니다. · 고정 설치 문제. · 수레의 정수성을위한 술어 (is_finite, · IS_INFINITE 등) MODE에서 실패하지 마십시오 JESSIEFLOATMODEL (실제)하지만 · 예상 진리 가치를 부여하십시오. · 수레 또는 실제 위에 포인터 캐스트에 더 이상 실패하지 마십시오. · FRAMA-C BTS의 버그 273 수정
왜 관련 소프트웨어
