Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Extended NuSMV

Extended NuSMV 1.1

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

Một phiên bản mở rộng của NuSMV, hỗ trợ kiểm tra mô hình biểu tượng của ETL và APSL

lịch sử phiên bản

  • Phiên bản enusmv%201.1 đăng trên 2009-03-04
    Một số bản sửa lỗi và cập nhật
  • Phiên bản enusmv 1.1 đăng trên 2009-03-04

Chi tiết chương trình

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

  • Voice Widget Miễn phí

    Khởi động Trình ghi âm, Youtube, TV hoặc Radio, Explorer hoặc Tìm kiếm chỉ bằng một cú nhấp chuột.2 vật dụng đẹp để liên kết máy ghi âm điện thoại của bạn, Youtube, TV hoặc đài phát thanh, thám hiểm hoặc tìm kiếm. Phong các

  • ZIPCodeWorld Store Locator .NET Component Dùng thử miễn phí

    ZIPCodeWorld Store Locator .NET là một điều khiển định vị cửa hàng cho tất cả các nhà phát triển .NET. Dịch vụ định vị cửa hàng tại Hoa Kỳ hoặc Canada của riêng bạn có thể hoạt động trong vòng vài phút. ZipCodeWorld Store Loc

  • Mobile Data On/Off Toggle Miễn phí

    Dữ liệu di động On / Off ToggleMobile Data On / Off Toggle SwitcherMobile Data On / Off Toggle SwitcherMobile Data OnOff Toggle switch.- Phần mềm này cần thiết Enable & Dữ liệu di động & trong cài đặt hệ thống . Phần

  • OCF Resource Agent for SAP Miễn phí

    Cung cấp ocf (Open Cluster Framework) đại lý tài nguyên tuân thủ, để chạy phần mềm SAP trong một cụm Linux sẵn sàng cao (như dự án Linux-HA).

  • Wintermute Engine DevKit Miễn phí

    Wintermute Engine Development Kit là một tập hợp các công cụ để tạo và chạy các trò chơi phiêu lưu điểm & nhấp chuột đồ họa, cả trò chơi 2D truyền thống và trò chơi 2.5D hiện đại (nhân vật 3D trên nền 2D).

  • Aginity Netezza Workbench Miễn phí

    Aginity là đối tác của Netezza Solution Provider. Bàn làm việc được sinh ra từ nhu cầu của chúng tôi về các công cụ cụ thể để hỗ trợ kinh nghiệm sâu rộng của chúng tôi phát triển các hệ thống lớn trên thiết bị Netezza. Workbe

  • xUnit - Unit Testing Framework Miễn phí

    xUnit là một khuôn khổ kiểm tra đơn vị phong cách XP. xUnit sử dụng một giao thức giữa front-end để hiển thị kết quả kiểm tra và trình điều khiển thử nghiệm được liên kết vào các ứng dụng - loại bỏ phụ thuộc thời gian liên kế

  • perf2rrd Miễn phí

    perf2rrd là một chương trình được viết bằng Java (tm) thu thập dữ liệu hiệu suất đầu ra bởi hệ thống giám sát Nagios (R) và lưu trữ nó trong các tập tin cơ sở dữ liệu round robin như implememented bởi RRDtool.

  • MisterHouse: Home Automation with Perl Miễn phí

    MisterHouse là một chương trình tự động hóa nhà Windows / Unix được viết bằng Perl. Nó có thể đáp ứng với lệnh thoại, trình duyệt web, thời gian trong ngày, cổng nối tiếp và dữ liệu X10, các tập tin bên ngoài, vv và có thể nó

  • IFM - Interface Management System Miễn phí

    IFM (trước đây là wxIFM) là một thư viện quản lý giao diện được thiết kế để thêm các cửa sổ dockable cho các ứng dụng của bạn cho giao diện của bạn tùy biến theo yêu cầu của todays người dùng máy tính có kinh nghiệm.