The PEP tool 2.0b
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/peptool/files/peptool/2.0beta4/peptool-2.0.beta4-solaris.tar.gz/download
关于 The PEP tool
PEP 是并行系统的建模和验证框架,提供大量不同的建模语言和验证技术(例如 SDL、Petri 网和模型检查)
相关软件
-
JDPF 免费
这个程序是一个开源软件免费个人和商业使用,因此对于那些想要一个更知名的付费程序的替代品的完美选择。
-
VDK Library 免费
VDK 库是一个C++框架,它绑定 GTK+ GUI 库,为 Linux 和 Windows 提供,是 VDKBuilder 项目的基础库。最近,该项目被分割,VDK继续由他自己开发。
-
Efes 免费
基于字节码的方案 (R=5RS) 实现。快速、紧凑、稳定,适合教育和实验。
-
Light Torch Flash Widget Pro 免费
只需单击一下即可打开/关闭相机的 LED(闪光灯)的小工具。像火炬一样有用。
-
Ayra - VCL Report Generator 免费
以 Delphi 编写的报表设计器和生成器应用程序,具有 WYSIWYG 报表设计器、用于生成报表的 VCL 组件,适用于 Delphi 5 到 2006 年,以及用于调用的一些 CommandLine 应用程序。它仅在 Windows 和西班牙语中运行。
-
ES32 - EEG Analysis 免费
ES32 是一个窗口程序,用于分析由 NEUROSCAN (tm) 获取应用程序产生的 EEG 数据文件。
-
LJOS - Java and database integration 免费
LJOS 代表单词序列:Linux、Java、操作系统。这是尝试创建直接字节码扩展到与数据库紧密集成的 Linux 内核作为公共存储。
-
DROIDinfo (Android 1.6+) 免费
DROIDinfo 显示有关 Android 设备的技术信息。它面向希望从 Dalvik VM 中了解设备的硬件、Linux/Android 系统和 Java 属性的开发人员。还有一个基准测试工具,用于测量设备的性能。
-
Lumbermill - Log4J/JSR47 GUI 免费
Lumbermill 是 Log4j 和 (在 2.0) java.util.logging (JSR47) 的可视化日志处理和分发中心。它是一个 Swing/GUI 独立应用程序,支持查看和存档日志事件。
-
EmbeddedImageBuilder 免费
此项目的目标是提供一种方法,基于原始包源(尤其是 buildroot)为小型嵌入式系统构建可启动映像,并快照可重复构建的分发和配置文件。