Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. MCMAS-SC model checker
  5. Download

MCMAS-SC model checker

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy

Hakkı -nda MCMAS-SC model checker

Yeni bir model denetleyicisi, MCMAS-SC olarak adlandırılan, sosyal taahhütleri ve bunların yerine getirilmesi doğrulamak için. CTLC mantığının doğrulanmasını desteklemek için MCMAS model denetleyicisinin bir genişletimidir.

İlgili Programlar

  • CHLone Ücret -siz

    CHLone paketi, SIDS-to-HDF5'in CGNS/SIDS uyumlu haritalama uygulamasıdır ve uygulama geliştirme için 3 düzeyde arayüz içerir. Bunlar şunlardır:- C1 CGNS/MLL Klonu, CGNS/MLL ile aynı API- A2 Uygulama API, SIDS türüne dayal

  • FactotumNOW IAS Reporting Ücretsiz Deneme

    FactotumNOW IAS Raporlama iAS / RRAS (Microsoft VPN) VPN / IAS sunucusuna yüklenebilir bir motor üzerinden günlük dosyaları. IAS (Microsoft® Internet Kimlik Doğrulama Hizmeti) istatistikleri her iki dakikada bir otomatik olar

  • Flash-Creator Ücretsiz Deneme

    Flash Creator animasyonlu Flash logolar, afişler, girişler, başlıklar ve kutunun hemen dışında hayal edebileceğiniz başka bir şey oluşturmak için hızlı ve canlandırıcı kullanımı kolay bir araçtır. Flash teknolojilerinin yarat

  • SAW (Small Artificial World) Ücret -siz

    SAW (Küçük Yapay Dünya) doğal evrimin bir simülasyonudur. Dünya hayatta kalma savaşı için birbirleriyle etkileşim edebilen çok sayıda yapay varlıkla dolu. Genetik algoritma ve sinir ağı kullanılır. Biyoloji bir ilham kaynağıd

  • evids video intrusion detection system Ücret -siz

    Evids bir video saldırı algılama istemci / sunucu sistemidir. Otomatik gözetim yazılımı gelen video tam zamanlı izleme sağlar Sinyal. Ayrıca, Evids ücretsiz bir açık kaynak projesi birçok çalışan plaka formları.

  • Accessibility plugins for Liferay Ücret -siz

    Bu projenin amacı, Liferay portalındaki erişilebilirlik deneyimini geliştirmek için bir dizi uzantı (eklenti) sağlamaktır.

  • SynchroJet Ücretsiz Deneme

    SynchroJet, yerel kaynaklar, LAN, FTP/SSL ile çalışabilen kullanımı kolay bir yedekleme ve senkronizasyon programıdır. SynchroJet ile sunucular, masaüstü bilgisayarlar, dizüstü bilgisayarlar, LAN, FTP vb. arasında tüm önemli

  • ControlK Ücret -siz

    Bu JEdit için çok basit bir eklenti. Eclipse denetim-K özelliğini, diğer bir şekilde: seçili metnin bir sonraki oluşumunu bulun.

  • emulare Ücret -siz

    Emülare bir arduino emülatörüdür.Bu öykünme arduino programları çalıştırmak için izin verir. Arduino Duemilanove'deki tüm cihazlar için tam destek sağlar. Hata ayıklama için bir GDB arabirimi vardır. Bu test yardımcı olmak

  • Music Shuffling Ücret -siz

    Kullanıcının ipod veya başka bir cihazda müziklerini karıştırmasına olanak tanıyan bir .net 3.5 uygulaması. rasgele dosyaları seçin ve aynı zamanda dosya başına karıştırma ile tam özellikleri.