Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. MCTK: a symbolic model checker for MAS

MCTK: a symbolic model checker for MAS

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

MCTK (Model Kontrol Zamanı ve Bilgi), bilginin zamansal mantığının doğrulanmasını destekleyen çok aracılı sistemler için sembolik bir model denetleyicisidir. Xiangyu Luo tarafından NuSMV 2.1.2'ye dayalı olarak geliştirilmiştir.

sürüm geçmişi

  • Sürüm N/A tarihinde gönderildi 2011-07-27
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm N/A tarihinde gönderildi 2011-07-27

Program Detayları

İlgili Programlar

  • MedIC Automated Pipeline Scheduler Ücret -siz

    Mipav (Tıbbi Görüntü İşleme, Analiz ve Görselleştirme) eklenti çerçevesinin, kullanıcının çok aşamalı işleme görevleri olan boru hatlarını tasarlamasına ve yürütmesine olanak tanıyan bir uzantısıdır.

  • SmartHASH Ücret -siz

    SmartHASH analiz sürecinde homurtu iş çıkarmak için tasarlanmış bir bilgisayar adli tıp aracıdır; bu şekilde çoğu araştırmanın analiz kısmında önemli ölçüde zaman tasarrufu sağlar.

  • Entropy Ücret -siz

    BU PROJE ARTıK SOURCEFORGE'DA BARıNDıRıLAN VEYA GÜNCELLENMİş

  • Flash Authoring iPhone Components Ücret -siz

    IPhone Geliştirme ile yardımcı olmak için Flash Yazma Bileşenleri. Eğer Source Forge ID ile [email protected] de bana e-posta gönderebilirsiniz eğer projeye katılmak istiyorum.

  • Asp.net Web Utilities Framework Ücret -siz

    Asp.net web programları çerçevesi bana (ve diğerleri) gelecekteki projelerde yardımcı olmak için Çerçeve sadece basit sınıflar ve kullanıcı kontrolleri vb ortak işlevler için sağlayacaktır - Kutulu ve uzatılmaya hazır (AS I

  • DARKSTARgames Open Source Project Ücret -siz

    DARKSTARgames bir hobisi oyun geliştirme projesidir. 3D motoreven 2007 hedeflenen oyun sürümü ile birlikte Açık Kaynak olarak yayınlanacaktır. Ancak biz zaten şimdi yazılım var, bu halk için ilginç olabilir.

  • Workgroup Manager Ücret -siz

    Workgroup Manager (WGM), uzaktan kullanıcı/grup yönetimi ve çalışma grubu optimizasyonu sağlayan bir Windows iş grubu yönetim aracıdır. Kullanıcılar ve gruplar eklenebilir/düzenlenebilir/silinebilir ve kullanıcılar sürükleyer

  • ascentemu Ücret -siz

    Ascent, World of Warcraft için C++ tabanlı bir sunucu yazılım paketiydi.Bu depo, artık kullanılmayan projenin bir yedeklemesidir.Yerini Arcemu'ya attı.

  • Command-Line Argument Parser For Java Ücret -siz

    Bu, Dinleyiciler ve Etkinlikler yoluyla Java'daki komut satırı bağımsız değişkenlerini Nesne Yönelimli bir şekilde kolayca ayrıştırma için bir kitaplıktır.

  • L2IrcBot Ücret -siz

    L2IrcBot, bir veya daha fazla config-files tarafından tanımlanan Lineage 2-Servers'ın on-/offline durumunu kontrol etmek için PircBot API'sinin bir uygulamasıdır.