Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. MCMAS-SC model checker

MCMAS-SC model checker

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

Một người kiểm tra mô hình mới, được gọi là MCMAS-SC, để xác minh các cam kết xã hội và thực hiện chúng. Đây là một phần mở rộng của bộ kiểm tra mô hình MCMAS để hỗ trợ xác minh logic CTLC.

lịch sử phiên bản

  • Phiên bản MCMAS-SC đăng trên 2011-01-25
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-01-25

Chi tiết chương trình

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

  • CHLone Miễn phí

    Gói CHLone là một ứng dụng lập bản đồ tuân thủ CGNS / SIDS của SIDS-to-HDF5 và chứa 3 cấp độ giao diện để phát triển ứng dụng. Đó là:- C1 bản sao CGNS/MLL, cùng API với CGNS/MLL- A2 API ứng dụng, một giao diện người dùng

  • FactotumNOW IAS Reporting Dùng thử miễn phí

    FactotumNOW IAS báo cáo nhập khẩu IAS/RRAS (Microsoft VPN) đăng nhập tập tin thông qua một công cụ có thể được cài đặt chuyên biệt vào máy chủ VPN/IAS. Thống kê IAS (Microsoft® Xác thực Internet) sau đó được cập nhật tự động

  • Flash-Creator Dùng thử miễn phí

    Flash Creator là một công cụ nhanh chóng và refreshingly dễ sử dụng để tạo ra các biểu tượng Flash hoạt hình, biểu ngữ, giới thiệu, tiêu đề và bất cứ điều gì khác mà bạn có thể tưởng tượng phải ra khỏi hộp. Nó cung cấp cho bạ

  • SAW (Small Artificial World) Miễn phí

    SAW (Thế giới nhân tạo nhỏ) là một mô phỏng của sự tiến hóa tự nhiên. Thế giới có rất nhiều sinh vật nhân tạo có thể tương tác với nhau cho một trận chiến sinh tồn. Thuật toán di truyền và mạng lưới thần kinh được sử dụng. Si

  • evids video intrusion detection system Miễn phí

    Evids là một hệ thống máy khách/máy chủ phát hiện xâm nhập video. Các tự động phần mềm giám sát cung cấp giám sát toàn thời gian của video đến Tín hiệu. Hơn nữa, Evids là một dự án mã nguồn mở miễn phí chạy trên nhiều d

  • Accessibility plugins for Liferay Miễn phí

    Mục đích của projet này là cung cấp một tập hợp các phần mở rộng (plugin) để nâng cao trải nghiệm khả năng truy cập trên cổng thông tin Liferay.

  • SynchroJet Dùng thử miễn phí

    SynchroJet là một tiện ích sao lưu và đồng bộ hóa dễ sử dụng, có thể hoạt động với các nguồn cục bộ, mạng LAN, FTP / SSL. Với SynchroJet bạn có thể dễ dàng giữ cho tất cả các tập tin quan trọng đồng bộ hóa giữa các máy chủ, m

  • ControlK Miễn phí

    Đây là một plugin rất đơn giản cho JEdit. Nó thêm tính năng Eclipse control-K, nghĩa là: tìm lần xuất hiện tiếp theo của văn bản đã chọn.

  • emulare Miễn phí

    Emulare là một giả lập arduino.Nó cho phép bạn chạy các chương trình arduino trong thi đua. Nó có hỗ trợ đầy đủ cho tất cả các thiết bị trên Arduino Duemilanove. Nó có một giao diện GDB để gỡ lỗi. Nó có một giao diện đồ họ

  • Music Shuffling Miễn phí

    Một ứng dụng .net 3.5 cho phép người dùng xáo trộn âm nhạc của họ trong ipod hoặc thiết bị khác. các tính năng hoàn chỉnh với các tập tin ngẫu nhiên chọn và cũng có thể xáo trộn theo mỗi tập tin.