![](/statics/img/blank.png)
Extended NuSMV 1.1
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/enusmv/files/enusmv/enusmv%201.1/enusmv_1.1.tar.bz2/download
Về Extended NuSMV
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
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.