MCMAS-SC model checker

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.