STP (간단한 정리 Prover): 프로그램 분석/테스트 생성 도구, 모델 체커, 버그 파인더, 하드웨어/소프트웨어 정식 확인 도구, 지능형 퍼퍼에 의해 생성된 수식 또는 제약 조건을 허용하는 제약 조건 해결사/의사 결정 절차
버전 기록
- 버전 simplifyingSTP%20r1022 에 게시 2010-09-24
몇 가지 수정 및 업데이트 - 버전 simplifyingSTP r1022 에 게시 2010-09-24
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: sites.google.com/site/stpfastprover/
- 라이센스: 무료
- 가격: N/A
- 버전: 1022
- 플랫폼: linux