Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. The PEP tool

The PEP tool 2.0b

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

PEP là một khuôn khổ mô hình hóa và xác minh cho các hệ thống song song, cung cấp một số lượng lớn các ngôn ngữ mô hình hóa và kỹ thuật xác minh khác nhau (ví dụ: SDL, lưới Petri và kiểm tra mô hình)

lịch sử phiên bản

  • Phiên bản 2.0beta4 đăng trên 2004-09-13
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 2.0beta4 đăng trên 2004-09-13

Chi tiết chương trình

Các chương trình liên quan

  • JDPF Miễn phí

    Chương trình này là một phần mềm mã nguồn mở miễn phí cho cả sử dụng cá nhân và thương mại, do đó sự lựa chọn hoàn hảo cho những người muốn có một sự thay thế cho các chương trình trả tiền nổi tiếng hơn.

  • VDK Library Miễn phí

    Thư viện VDK là một khuôn khổ trong C++ liên kết GTK + GUI thư viện, cung cấp cho cả Linux và Windows đã là một thư viện cơ sở cho dự án VDKBuilder. Gần đây dự án đã được chia và VDK tiếp tục phát triển của riêng mình.

  • Efes Miễn phí

    Bytecode dựa trên đề án (R ^ 5RS) thực hiện. Nhanh chóng, nhỏ gọn, ổn định, thích hợp cho giáo dục và thử nghiệm.

  • Light Torch Flash Widget Pro Miễn phí

    Widget để bật / tắt máy ảnh dẫn (đèn flash) chỉ với một cú nhấp chuột. Hữu ích như một ngọn đuốc.

  • Ayra - VCL Report Generator Miễn phí

    Một nhà thiết kế báo cáo và ứng dụng máy phát điện được viết bằng Delphi, với một nhà thiết kế báo cáo WYSIWYG, một thành phần VCL cho thế hệ báo cáo, hợp lệ cho Delphi 5 đến 2006, và một ứng dụng CommandLine nhỏ cho cuộc gọi

  • ES32 - EEG Analysis Miễn phí

    ES32 là một chương trình cửa sổ để phân tích các tập tin dữ liệu EEG như được sản xuất bởi các neuroscan (tm) Có được ứng dụng.

  • LJOS - Java and database integration Miễn phí

    LJOS là viết tắt của chuỗi từ: Linux, Java, Hệ điều hành. Đây là một nỗ lực để tạo ra một phần mở rộng bytecode trực tiếp cho hạt nhân Linux tích hợp chặt chẽ với một cơ sở dữ liệu như là một lưu trữ phổ biến.

  • DROIDinfo (Android 1.6+) Miễn phí

    DROIDinfo hiển thị thông tin kỹ thuật về thiết bị Android. Nó nhằm vào các nhà phát triển muốn có cái nhìn tổng quan về phần cứng của thiết bị, hệ thống Linux / Android và các thuộc tính Java nhìn từ máy ảo Dalvik. Ngoài ra c

  • Lumbermill - Log4J/JSR47 GUI Miễn phí

    Lumbermill là một trung tâm xử lý và phân phối nhật ký trực quan cho Log4j và (trong 2.0) java.util.logging (JSR47). Nó là một swing / GUI ứng dụng độc lập hỗ trợ xem và lưu trữ các sự kiện đăng nhập.

  • EmbeddedImageBuilder Miễn phí

    Mục tiêu của dự án này là cung cấp một phương pháp để xây dựng một hình ảnh khởi động cho các hệ thống nhúng nhỏ, dựa trên các nguồn gói ban đầu, đáng chú ý nhất là buildroot, và để chụp nhanh các tập tin phân phối và cấu hìn