提交软件
  1. 首页
  2. Linux软件
  3. 其他
  4. The PEP tool

The PEP tool 2.0b

许可： 免费 ‎文件大小： N/A
‎用户评分： 5.0/5 - ‎1 ‎评分
点击下载

PEP 是并行系统的建模和验证框架，提供大量不同的建模语言和验证技术（例如 SDL、Petri 网和模型检查）

版本历史记录

  • 版本 2.0beta4 发布于 2004-09-13
    若干修复和更新
  • 版本 2.0beta4 发布于 2004-09-13

软件信息

相关软件

  • 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）为小型嵌入式系统构建可启动映像，并快照可重复构建的分发和配置文件。