MCTK: a symbolic model checker for MAS

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.