Invia software
  1. Casa
  2. Windows
  3. Altro
  4. MCTK: a symbolic model checker for MAS
  5. Download

MCTK: a symbolic model checker for MAS

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa MCTK: a symbolic model checker for MAS

MCTK (Model Checking Time and Knowledge) è un controllo simbolico del modello per sistemi multi-agente, che supporta la verifica della logica temporale della conoscenza. È sviluppato sulla base di NuSMV 2.1.2 di Xiangyu Luo.

Programmi correlati

  • MedIC Automated Pipeline Scheduler Gratuito

    Estensione del framework plug-in MIPAV (Medical Image Processing, Analysis, and Visualization) che consente all'utente di progettare ed eseguire pipeline, o che sono attività di elaborazione in più fasi.

  • SmartHASH Gratuito

    SmartHASH è uno strumento informatico forense progettato per estirpare il lavoro grugnito dal processo di analisi; risparmiando così molto tempo nell'aspetto dell'analisi della maggior parte delle indagini.

  • Entropy Gratuito

    QUESTO PROGETTO NON È PIÙ OSPITATO O AGGIORNATO SU SOURCEFORGE

  • Flash Authoring iPhone Components Gratuito

    Componenti di creazione flash per aiutare con lo sviluppo di iPhone. Puoi inviarmi un'e-mail [email protected] con il tuo ID forgia di origine se vuoi partecipare al progetto.

  • Asp.net Web Utilities Framework Gratuito

    Asp.net framework di utilità web per aiutare me (e gli altri) nei miei progetti futuri Il Framework fornirà semplicemente classi semplici e controlli utente ecc. per funzioni comuni - Boxed e pronto per essere esteso (Come

  • DARKSTARgames Open Source Project Gratuito

    DARKSTARgames è un progetto di sviluppo di giochi hobbisti. Il nostro motore 3D EVEN sarà pubblicato come Open Source insieme alla versione di gioco destinata al 2007. Tuttavia, ora abbiamo già un software, che potrebbe esser

  • Workgroup Manager Gratuito

    Workgroup Manager (WGM) è uno strumento di gestione dei gruppi di lavoro di Windows che consente la gestione remota di utenti/gruppi e l'ottimizzazione dei gruppi di lavoro. Gli utenti e i gruppi possono essere aggiunti/modif

  • ascentemu Gratuito

    Ascent era un pacchetto software server basato su C++ per World of Warcraft.Questo repository è un backup del progetto ormai defunto.Fu sostituito da Arcemu.

  • Command-Line Argument Parser For Java Gratuito

    Questa è una libreria per analizzare facilmente gli argomenti della riga di comando in Java in modo orientato agli oggetti tramite listener ed eventi.

  • L2IrcBot Gratuito

    L2IrcBot è un'implementazione dell'API PircBot per verificare lo stato on-offline di Lineage 2-Servers, definito da uno o più file di configurazione.