Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. MCMAS-SC model checker

MCMAS-SC model checker

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

Pemeriksa model baru, yang disebut MCMAS-SC, untuk memverifikasi komitmen sosial dan pemenuhannya. Ini adalah ekstensi pemeriksa model MCMAS untuk mendukung verifikasi logika CTLC.

Riwayat versi

  • Versi MCMAS-SC diposting di 2011-01-25
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-01-25

Detil Program

Program Terkait

  • CHLone Gratis

    Bundel CHLone adalah aplikasi pemetaan yang mematuhi CGNS / SIDS dari SIDS-ke-HDF5 dan berisi 3 tingkat antarmuka untuk pengembangan aplikasi. Ini adalah:- C1 Kloning CGNS / MLL, API yang sama dengan CGNS / MLL- A2 API Ap

  • FactotumNOW IAS Reporting Uji Coba Gratis

    FactotumNOW IAS Reporting mengimpor file log IAS/RRAS (Microsoft VPN) melalui mesin yang dapat diinstal ke server VPN/IAS. Statistik IAS (Microsoft® Internet Authentication Service) kemudian diperbarui secara otomatis setiap

  • Flash-Creator Uji Coba Gratis

    Flash Creator adalah alat yang cepat dan mudah digunakan untuk membuat logo Flash animasi, spanduk, intro, header, dan apa pun yang dapat Anda bayangkan langsung dari kotak. Ini memberi Anda lingkungan desain point-and-click

  • SAW (Small Artificial World) Gratis

    SAW (Small Artificial World) adalah simulasi evolusi alami. Dunia dihuni oleh banyak manusia buatan yang dapat berinteraksi satu sama lain untuk pertempuran bertahan hidup. Algoritma genetik dan jaringan saraf digunakan. Biol

  • evids video intrusion detection system Gratis

    Evids adalah sistem deteksi intrusi video klien / server. Otomatis perangkat lunak pengawasan menyediakan pemantauan penuh waktu terhadap video masuk Sinyal. Selain itu, Evids adalah proyek opensource gratis yang berjalan

  • Accessibility plugins for Liferay Gratis

    Tujuan dari projet ini adalah untuk menyediakan seperangkat ekstensi (plugin) untuk meningkatkan pengalaman aksesibilitas di portal Liferay.

  • SynchroJet Uji Coba Gratis

    SynchroJet adalah utilitas pencadangan dan sinkronisasi yang mudah digunakan, yang dapat bekerja dengan sumber lokal, LAN, FTP/ SSL. Dengan SynchroJet Anda dapat dengan mudah menjaga semua file penting disinkronkan antara ser

  • ControlK Gratis

    Ini adalah plugin yang sangat sederhana untuk JEdit. Ini menambahkan fitur Eclipse control-K, yaitu: menemukan kemunculan teks yang dipilih berikutnya.

  • emulare Gratis

    Emulare adalah emulator arduino.Ini memungkinkan Anda untuk menjalankan program arduino dalam emulasi. Ini memiliki dukungan penuh untuk semua perangkat di Arduino Duemilanove. Ini memiliki antarmuka GDB untuk debugging. I

  • Music Shuffling Gratis

    Aplikasi .net 3.5 yang memungkinkan pengguna untuk mengacak musik mereka di ipod atau perangkat lain. fitur lengkap dengan pilih file acak dan juga acak per file.