Triple-A 1.4.1
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/triple-a/files/triple-a/1.4.1/triple-a-1.4.1.zip/download
에 대해 Triple-A
트리플 A(Automata를 통한 자동 분석)는 두 가지 강력한 분석 도구(LTL 모델 검사 및 프레스버거 산술 처리)와 그 주위에 구축된 그래픽 사용자 인터페이스를 갖춘 Java에서 작성된 (유한) 오토마타용 완전 추천 라이브러리입니다.
관련 프로그램
-
Parallel partition for string qsort/qsel 무료
문자열 퀵정렬(-select)의 순차적이고 병렬 구현. 기사: 디지털 액세스/결합 디지털 액세스/병렬 파티션을 결합하여 빠른 정렬 및 퀵셀렉션을 제공하는 BST(및 관련 알고리즘)의 문자열 조회 수에 대해.
-
pgreplay 무료
PostgreSQL 데이터베이스 로그 파일을 읽고 SQL 문을 추출하고 다른 데이터베이스 서버에 대해 동일한 순서와 타이밍으로 실행합니다. 실제 워크로드를 갖춘 성능 테스트에 유용합니다.
-
ldapenum 무료
ldapenum은 IPC$이 잠글 때 LDAP 서비스를 사용하여 도메인 컨트롤러의 시스템 및 암호 정보를 열거하도록 설계된 펄 스크립트입니다. 스크립트는 창과 리눅스에서 테스트되었습니다. 스크립트는 아직 초기 단계에 있습니다.
-
F2Ashell 무료
이 셸을 사용하면 코드를 쉽게 조사할 수 있습니다. 셸과 상호 작용하려면 코드와 DLL 라이브러리와 관련이 있어야 합니다. 이를 구현하는 템플릿이 제공됩니다. 프로젝트 웹: http://sites.google.com/site/f2ashell/
-
DataModeler 무료
프로젝트는 다른 이름으로 개발되고있다 : http://sourceforge.net/projects/modelbuilder/ 데이터 모델러는 과학자와 엔지니어에게 모든 데이터 세트에 대한 다변적 모델을 찾을 수있는 possiblity을 제공 방문하시기 바랍니다, 얼마나 복잡하거나 큰 둘 다 될 수 있습니다.
-
GFFT 무료
C++의 정책 기반 설계 및 템플릿 메타프로그래밍을 사용하여 일반 간단하고 효율적인 Fast Fourier Transforms(FFT) 구현
-
SASUnit 무료
SASUnit은 SAS(TM) 프로그램을 위한 단위 테스트 프레임워크입니다. SAS 프로그램에 대한 테스트의 개발, 실행 및 자동 문서화에 사용할 수 있습니다. SASUnit은 SAS 매크로와 몇 가지 셸 명령을 기반으로 순수하게 작성됩니다.
-
DomSQL 무료
PHP5 및 MySQL을 기반으로 개체 모델 구조화 쿼리 언어를 문서화! 예: {http://example.com}에서 {바디[0] innerCode}를 선택합니다.
-
Stormtrooper Clock Widget 무료 평가판
스톰트루퍼 시계 위젯. 빨간색 라이트 세이버로 시간과 분을 표시합니다.크기: 2 x 2위젯으로 홈 화면에 추가합니다.
-
ABIcheck binary compatibility tool 무료
ABIcheck는 응용 프로그램의 확인을 위한 도구입니다.라이브러리의 정의된 응용 프로그램 바이너리 인터페이스 준수(ABI). 여기에 포함된 ABI 정의 정보에 의존합니다.라이브러리. 예제 정의는 그놈 및 glibc에 대해 제공됩니다.