Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. MCMAS-SC model checker
  5. Download

MCMAS-SC model checker

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi

Tentang MCMAS-SC model checker

Pemeriksa model baru, yang dipanggil MCMAS-SC, untuk mengesahkan komitmen sosial dan pemenuhan mereka. Ia adalah pengekstrakan pemeriksa model MCMAS untuk menyokong pengesahan logik CTLC.

Atur Cara Berkaitan

  • CHLone Percuma

    Pakej CHLone adalah aplikasi pemetaan mematuhi CGNS/SIDS SIDS-ke-HDF5 dan mengandungi 3 tahap antara muka untuk pembangunan aplikasi. Ini adalah:- C1 Klon CGNS / MLL, api yang sama seperti CGNS / MLL- A2 API Aplikasi, ant

  • FactotumNOW IAS Reporting Percubaan Percuma

    FactotumNOW IAS Melaporkan mengimport fail log IAS/RRAS (Microsoft VPN) melalui enjin yang boleh dipasang ke pelayan VPN/IAS. Statistik IAS (® Pengesahan Internet) IAS kemudiannya dikemas kini secara automatik setiap dua mini

  • Flash-Creator Percubaan Percuma

    Pencipta Kilat adalah alat yang cepat dan menyegarkan mudah digunakan untuk mencipta logo Flash animasi, sepanduk, intro, tajuk dan apa-apa sahaja yang anda boleh bayangkan terus dari kotak. Ia menyediakan anda dengan perseki

  • SAW (Small Artificial World) Percuma

    SAW (Dunia Tiruan Kecil) adalah simulasi evolusi semulajadi. Dunia dihuni oleh banyak insan tiruan yang boleh berinteraksi antara satu sama lain untuk pertempuran survival. Algoritma genetik dan rangkaian neural digunakan. Bi

  • evids video intrusion detection system Percuma

    Gemar adalah pelanggan pengesanan menceroboh video / sistem pelayan. Automatik perisian pengawasan menyediakan pemantauan sepenuh masa video masuk Isyarat. Tambahan pula, Evids adalah projek opensource percuma yang berjal

  • Accessibility plugins for Liferay Percuma

    Tujuan projet ini adalah untuk menyediakan satu set pelanjutan (plugin) untuk meningkatkan pengalaman aksesibiliti di portal Liferay.

  • SynchroJet Percubaan Percuma

    SynchroJet adalah utiliti sandaran dan penyegerakan yang mudah digunakan, yang boleh bekerjasama dengan sumber tempatan, LAN, FTP / SSL. Dengan SynchroJet anda boleh menyimpan semua fail penting yang disegerakkan dengan mudah

  • ControlK Percuma

    Ini adalah plugin yang sangat mudah untuk JEdit. Ia menambah ciri Eclipse control-K, iaitu: mencari kejadian seterusnya teks yang dipilih.

  • emulare Percuma

    Emulare adalah emulator arduino.Ia membolehkan anda menjalankan program arduino dalam emulasi. Ia mempunyai sokongan penuh untuk semua peranti di Arduino Duemilanove. Ia mempunyai antara muka GDB untuk nyahpepijat. Ia memp

  • Music Shuffling Percuma

    Aplikasi .net 3.5 yang membolehkan pengguna rombak muzik mereka dalam ipod atau peranti lain. lengkapkan ciri-ciri dengan fail rawak terpilih dan juga rombak mengikut setiap fail.