Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. MCMAS-SC model checker
  5. Download

MCMAS-SC model checker

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

Over MCMAS-SC model checker

Een nieuw model checker, genaamd MCMAS-SC, voor het verifiëren van sociale verplichtingen en hun vervulling. Het is een uitbreving van MCMAS modelchecker ter ondersteuning van verificatie van CTLC logica.

Gerelateerde programma's

  • CHLone Gratis

    De CHLone-bundel is een CGNS/SIDS-compatibele mapping-toepassing van SIDS-to-HDF5 en bevat 3 niveaus van interface voor applicatieontwikkeling. Dit zijn:- C1 de CGNS/MLL Clone, dezelfde API als CGNS/MLL- A2 de Application

  • FactotumNOW IAS Reporting Gratis proefperiode

    FactotumNOW IAS Reporting importeert IAS/RRAS (Microsoft VPN) logbestanden via een engine die op de VPN/IAS-server kan worden geïnstalleerd. IAS -statistieken (Microsoft® Internet Authentication Service) worden vervolgens om

  • Flash-Creator Gratis proefperiode

    Flash Creator is een snelle en verfrissend gebruiksvriendelijke tool voor het maken van geanimeerde Flash-logo's, banners, intro's, headers en alles wat je je voorstellen direct uit de doos. Het biedt u een point-and-click on

  • SAW (Small Artificial World) Gratis

    SAW (Small Artificial World) is een simulatie van natuurlijke evolutie. De wereld wordt bevolkt door tal van kunstmatige wezens die met elkaar kunnen communiceren voor een strijd om te overleven. Genetisch algoritme en neuraa

  • evids video intrusion detection system Gratis

    Evids is een video intrusion detection client/server systeem. De geautomatiseerde bewakingssoftware biedt full-time monitoring van inkomende video Signalen. Bovendien is Evids een gratis opensourceproject dat op veel pl

  • Accessibility plugins for Liferay Gratis

    Het doel van deze projet is om een set van extensies (plugins) om de toegankelijkheid ervaring op Liferay portal te verbeteren.

  • SynchroJet Gratis proefperiode

    SynchroJet is een gebruiksvriendelijk hulpprogramma voor back-up en synchronisatie, dat kan werken met lokale bronnen, LAN, FTP/SSL. Met SynchroJet u eenvoudig alle belangrijke bestanden gesynchroniseerd houden tussen servers

  • ControlK Gratis

    Dit is een zeer eenvoudige plugin voor JEdit. Het voegt de Eclipse control-K functie, dat wil zeggen: zoek de volgende gebeurtenis van de geselecteerde tekst.

  • emulare Gratis

    Emulare is een arduino emulator.Hiermee u arduino-programma's uitvoeren in emulatie. Het heeft volledige ondersteuning voor alle apparaten op de Arduino Duemilanove. Het heeft een GDB-interface voor debugging. Het heeft ee

  • Music Shuffling Gratis

    Een .net 3.5 applicatie waarmee de gebruiker om hun muziek te schudden in de iPod of een ander apparaat. complete functies met geselecteerde willekeurige bestanden en ook shuffle door per bestanden.