![](/statics/img/blank.png)
STP 1022
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/stp-fast-prover/files/simplifyingSTP%20r1022/simplifyingSTP_1022.tar.gz/download
에 대해 STP
STP (간단한 정리 Prover): 프로그램 분석/테스트 생성 도구, 모델 체커, 버그 파인더, 하드웨어/소프트웨어 정식 확인 도구, 지능형 퍼퍼에 의해 생성된 수식 또는 제약 조건을 허용하는 제약 조건 해결사/의사 결정 절차
관련 프로그램
-
Javascript and CSS compress utility 무료
명령 줄 도구를 사용하여 자바스크립트 코드를 압축 및 난독화하고 CSS 코드를 압축합니다. (KJS 기반 - KHTML에 포함된 자바스크립트 라이브러리).
-
EasySnuffle 무료
EasySnuffle은 프로토콜 메시지, 내부 프로토콜 상태를 캡처하고 네트워킹 노드에서 구현 성능을 측정하기 위한 측정 도구입니다. UDP, IP 및 IEEE 802.11b MAC에 대한 측정 프로브가 구현됩니다.
-
Open Streaming Server 무료
오픈 스트리밍 서버는 디지털 미디어 전송입니다. 주요 특징은 - mp4, 3gp, WMF, QT 파일 - 동적 대역폭 적응 - 부하 균형 - 콘텐츠 배포 기술 : C + +, 자바 및 CORBA의 스트리밍입니다.
-
Chilkat Encryption .NET Component 무료 평가판
Chilkat Crypt .NET은 RSA 공개 키를 모두 제공하는 고급 암호화 구성 요소입니다.디지털 서명이 있는 암호화뿐만 아니라 대칭 암호화 알고리즘AES (리젠다엘), 복어, 두 마리의 물고기. 디지털을 쉽게 만들 수 있는 기능을 제공합니다.파일 또는 메모리 데이터에 대한 서명 또는 들어오는 것에 대해 디지털 서명을 확인합니다.데이터 또는 파일. 그것은 모든 암호화 서비스
-
Obfuscator for .NET framework 무료 평가판
스케이터 .NET 난전케이터는 .NET 코드 보호를 위한 난독화 도구입니다. 알려진 모든 소프트웨어 보호 기술과 난독화 알고리즘을 구현합니다.스케이터 .NET Obfuscator는 .NET 응용 프로그램 코드 보호를위한 포괄적 인 전문 솔루션입니다. 스케이터 .NET 난전케이터를 사용하면 불법 코드 추출 및 리버스 엔지니어링으로부터 Microsoft .NET 프레임워크 응용 프로그램을 쉽게 보호할
-
Angel USB Clock Vol.2 무료
모바일을 시계로 바꿉니다.Angel USB Clock은 모바일 배터리를 충전하는 #39 동안 모바일을 아날로그 시계로 바꾸는 앱입니다.【기능】*배터리가 충전되면 시계로 자동으로 시동되며, 완료되면 종료됩니다.*시계의 동일한 디자인으로 시계 위젯으로 위치 할 수 있습니다.*디자인, 반짝반짝 화려하고 스포티한 다이버 모델의 다양한 변화... 그리고 더.*시계는 알람이 있을 수 있으며
-
EMF Search Plugin 무료
EMF 검색 플러그인 -- 이 이클립스 3.0 플러그인은 작업 영역 리소스에 직렬화된 EMF 모델 인스턴스 데이터를 검색하는 데 특화된 검색 페이지를 제공합니다. 현재 지원되는 일반 텍스트 검색 및 XPath 검색(자카르타 JXPath 사용)입니다.
-
PV Orientator 무료
태양전지를 언제 어디서나 최적의 각도로 배치합니다.-----------------------------------------------------------------------------------------------------------------태양 에너지의 사용은 최근 에너지의 청정 재생 원천이기 때문에 에너지의 가용성이 현지 전력 생산에 이상적이기 때문에 증가했습니다. PV 패널의 위치는
-
Eclipse Json Editor Plugin 무료
JSON 편집기는 제공 하는 이클립스 IDE에 대 한 간단한 플러그인: - 색상 텍스트 강조 표시 - 윤곽 선 자 보기 - JSON 유효성 검사 - 텍스트 서식 - JSON 데이터 형식에 대 한 텍스트 접기.
-
D-Addicts Browser 무료
D-중독자는 아시아 드라마와 TV 쇼의 첫 번째 소스입니다 : 일본어, 한국어, 중국어, 홍콩, 대만, 싱가포르 드라마와 TV 쇼. D-중독자에게 가장 최근의 파일에 쉽게 액세스하고 검색할 수 있습니다. 자세한 내용은 기본 브라우저에서 페이지를 열거나 선택한 비트토런트 클라이언트와 함께 다운로드하십시오. 이 응용 프로그램은 D-중독자와 제휴하지 않습니다.*중요*: D-중독자는 어떤 검색을 찾고있는 언