Advertentie
pyuppaal
Python-bibliotheek voor het manipuleren van Uppaal XML-bestanden ...
Uppaal Timed Automata Parser Library
De Uppaal Timed Automata Parser-bibliotheek (Libutap) is de Parser-bibliotheek die door Uppaal wordt gebruikt. ...
Uppaal
Uppaal is een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen. ...
omgeving geïntegreerd Uppaal Geïntegreerde gereedschapsomgeving modelleren van real-time systemen
Uppaal tiga
UPPAAL TIGA is een uitbreiding van Uppaal en het implementeert het eerste efficiënte algoritme voor on-the-fly voor het oplossen van spellen. ...
Uppaal oplossen Solving games opdrachtregelverificatie on-the-fly algoritme
Uppaal DBM-bibliotheek
Verschil Bound Matrices (DBMS) zijn efficiënte gegevensstructuren om klokbeperkingen in timed automata te vertegenwoordigen. ...