UPPAAL

UPPAAL 4.0.6

Uppaal is een geïntegreerde tool-omgeving voor het modelleren, validatie en verificatie van real-time systemen gemodelleerd als netwerken van getimede automaten, uitgebreid met types data (begrensd gehele getallen, arrays, enz.).Uppaal CORA is een tak van...

2 Jun 15 In Ontwikkeltools, Kwaliteitszorg en testen van software
Linux
Lees meer
UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

Uppaal TIGA is een uitbreiding van Uppaal [BDL04] en het implementeert de eerste efficiënte on-the-fly-algoritme voor het oplossen van games gebaseerd op getimede spel automaten met betrekking tot de bereikbaarheid en veiligheid eigenschappen.Hoewel...

2 Jun 15
Linux
Lees meer
xmmsctrl

xmmsctrl 1.9

xmmsctrl is een klein programma om xmms vanaf de opdrachtregel controleren. xmmsctrl doel is om te worden gebruikt in combinatie met sh aan xmms state testen en uitvoeren van een passende actie, bv als het spelen dan pauzeren anders spelen.Het belang van...

3 Jun 15 In Audio-software
Linux
Lees meer
Recent bekeken Applicaties
Populaire software