MCMAS-SC model checker

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.