STP 1022

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 2.8/5 - ‎14 ‎투표

STP (간단한 정리 Prover): 프로그램 분석/테스트 생성 도구, 모델 체커, 버그 파인더, 하드웨어/소프트웨어 정식 확인 도구, 지능형 퍼퍼에 의해 생성된 수식 또는 제약 조건을 허용하는 제약 조건 해결사/의사 결정 절차

버전 기록

  • 버전 simplifyingSTP%20r1022 에 게시 2010-09-24
    몇 가지 수정 및 업데이트
  • 버전 simplifyingSTP r1022 에 게시 2010-09-24

프로그램 세부 정보