Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

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

MCMAS-C is een uitbreiding op de meest bekende model checker MCMAS, die is geïmplementeerd om multi-agent systeem te verifiëren. Onze uitbreiding is gerelateerd aan het controleren van sociale verplichtingen die agenten kunnen maken en hun vervulling. Het is modelchecker voor CTLC logica.

versiegeschiedenis

  • Versie files geplaatst op 2011-01-25
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-01-25

Programmadetails

Gerelateerde programma's

  • MConvert - Multiformat Converter Gratis

    MConvert is een open-source project dat bedoeld is om een tool te ontwikkelen voor het converteren van bestanden. Door gebruik te maken van andere open-source tools wil MConvert een breed scala aan mogelijkheden bieden voor h

  • WinCRC32 Gratis

    WINCRC32 maakt gebruik van CRC-32-technologie om elk bestand te controleren en waarschuwt u van een potentieel slechte, corrupte, onjuiste grootte of ontbrekende bestanden om u uren van het downloaden alleen om te vinden dat

  • Web Pictures Downloader Gratis proefperiode

    Web Pictures Downloader is een internet foto downloader om foto's, foto's, afbeeldingen, JPG, GIF downloaden van web of internet. Het heeft toegang tot uw favoriete websites met een maximum van 8 threads tegelijk. Het analyse

  • A shoot'em up game for the Maemo Gratis

    Een isometrische shoot'em up game voor Maemo platform. Basisidee is het genereren van een spel waar de speler (of spelers) kunnen genereren hun eigen personages en batle tegen elkaar of computer gestuurde vijanden.

  • SudokuGenerator in c++ and stl Gratis

    Sudoku puzzel generator die Sudoku puzzels genereert met een bepaalde moeilijkheidsgraad. De gegenereerde puzzels hebben een unieke oplossing en kunnen worden opgelost zonder terugkrabbelen of gissen. De software is geschreve

  • Oxygen Basic Gratis

    Compacte integreerbare JIT-compiler die C-headers leest en compileert op x86-machinecode. Wordt rechtstreeks in het geheugen uitgevoerd of maakt DLL's en EXE-bestanden. Ondersteunt overbelasting en OOP. Momenteel beschikbaar

  • Lua Conio Gratis

    Lua Conio is wrapper voor Turbo C conio, gebruikt om tekst user interfaces ontwikkeld door Gabriele Secci te creëren.

  • Book Keeper System Gratis

    Een eenvoudig bibliotheekbeheersysteem geschreven in Java met Struts + JSTL en JDBC. Er wordt gebruik gemaakt van een klassieke gelaagde architectuurbenadering. Momenteel werken de DAOs out of the box met mySql.

  • Counter Strike 1.6 File Gratis

    tlchargez des fichiers en rapport avec le serveur [TFS21] De Firefox Server

  • Multimodal Engine Platform Gratis

    MME-systeem wordt gepresenteerd als een noodzaak om te communiceren tussen heterogene apparaten en de communicatie tussen gebruiker en toepassing met behulp van verschillende soorten modaliteiten vast te stellen.