Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. MCTK: a symbolic model checker for MAS
  5. Download

MCTK: a symbolic model checker for MAS

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over MCTK: a symbolic model checker for MAS

MCTK (Model Checking Time and Knowledge) is een symbolische modelchecker voor multi-agent systemen, die de verificatie van de temporele logica van kennis ondersteunt. Het is ontwikkeld op basis van NuSMV 2.1.2 door Xiangyu Luo.

Gerelateerde programma's

  • MedIC Automated Pipeline Scheduler Gratis

    Een uitbreiding van het MIPAV-plug-inframework (Medical Image Processing, Analysis and Visualization) waarmee de gebruiker pijplijnen kan ontwerpen en uitvoeren, die verwerkingstaken in meerdere fasen zijn.

  • SmartHASH Gratis

    SmartHASH is een computer forensisch hulpmiddel ontworpen om de grunt werk uit het analyseproces; waardoor het analyseaspect van de meeste onderzoeken aanzienlijk wordt bespaard.

  • Entropy Gratis

    DIT PROJECT WORDT NIET LANGER GEHOST OF BIJGEWERKT OP SOURCEFORGE

  • Flash Authoring iPhone Components Gratis

    Flash Authoring Components om te helpen met de ontwikkeling van de iPhone. U mij e-mailen op [email protected] met uw Source Forge ID is dat u wilt deelnemen aan het project.

  • Asp.net Web Utilities Framework Gratis

    Asp.net web utilities framework om mij (en anderen) te helpen in mijn toekomstige projecten Het framework biedt eenvoudig eenvoudige klassen en gebruikerscontroles etc. voor gemeenschappelijke functies - Boxed en klaar om t

  • DARKSTARgames Open Source Project Gratis

    DARKSTARgames is een hobbyist game development project. Onze 3D-engine EVEN zal worden gepubliceerd als Open Source samen met de game release gericht voor 2007. Maar we hebben nu al software, dat kan interessant zijn voor het

  • Workgroup Manager Gratis

    Workgroup Manager (WGM) is een Windows-werkgroepbeheertool waarmee externe gebruikers-/groepsbeheer en werkgroepoptimalisatie mogelijk is. Gebruikers en groepen kunnen worden toegevoegd/bewerkt/verwijderd en gebruikers kunnen

  • ascentemu Gratis

    Ascent was een C + + gebaseerde server software pakket voor World of Warcraft.Deze repository is een back-up van het inmiddels ter ziele gegane project.Het werd vervangen door Arcemu.

  • Command-Line Argument Parser For Java Gratis

    Dit is een bibliotheek voor het eenvoudig ontleden van opdrachtregelargumenten in Java op een objectgeoriënteerde manier door middel van luisteraars en gebeurtenissen.

  • L2IrcBot Gratis

    L2IrcBot is een implementatie van de PircBot API om de on-/offline status van Lineage 2-Servers te controleren, gedefinieerd door een of meer config-bestanden.