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
Triple-A(使用自动机进行自动分析)是一个功能齐全的库,用于使用Java编写的(有限)自动机,具有两种强大的分析工具(处理LTL模型检查和预导式数学),并围绕它构建一个图形用户界面。
相关软件
-
Parallel partition for string qsort/qsel 免费
字符串快速排序(-选择)的顺序和并行实现。文章:关于具有数字访问/组合数字访问和并行分区进行快速排序和快速选择的 BT(和相关算法)中的字符串查找数。
-
pgreplay 免费
读取 PostgreSQL 数据库日志文件,提取 SQL 语句,并针对另一个数据库服务器按相同的顺序和计时执行它们。适用于具有实际工作负载的性能测试。
-
ldapenum 免费
ldapenum 是一个 perl 脚本,用于在锁定 IPC$ 时使用 LDAP 服务枚举来自域控制器的系统和密码信息。该脚本已在窗口和 linux 上进行了测试。该脚本仍处于起步阶段。
-
F2Ashell 免费
此命令行管理程序允许您有一个简单的文本界面来探测代码。您的代码必须与 DLL 库相关才能与 shell 进行交互。提供了实现此值的模板。项目网址:http://sites.google.com/site/f2ashell/
-
DataModeler 免费
项目正在以不同名称开发:请访问 http://sourceforge.net/projects/modelbuilder/ 数据模型为科学家和工程师提供查找任何数据集的任何多变量模型(两者可能有多复杂或多大)的权限。
-
GFFT 免费
使用基于策略的设计和模板元编程在一个解决方案中通用简单高效的快速四联转换 (FFT) C++
-
SASUnit 免费
SASUnit 是 SAS(TM)程序的单元测试框架。它可用于 SAS 程序测试的开发、执行和自动文档。SASUnit 完全基于 SAS 宏和几个 shell 命令编写。
-
DomSQL 免费
基于PHP5和MySQL的文档对象模型结构化查询语言!示例:"从 [http://example.com] 中选择 [正文]内部代码";
-
Stormtrooper Clock Widget 免费试用
一个突击队时钟小工具。用红色光剑显示小时和分钟。大小: 2 x 2作为小部件添加到主屏幕。
-
ABIcheck binary compatibility tool 免费
ABIcheck 是检查应用程序的工具符合库定义的应用程序二进制接口(阿比)。 它依赖于 ABI 定义信息,其中包含在图书馆。 为 GNOME 和 glibc 提供了示例定义。