UPPAAL 4.0.6
UPPAAL είναι ένα ολοκληρωμένο περιβάλλον εργαλείο για τη μοντελοποίηση, την επικύρωση και την επαλήθευση των συστημάτων πραγματικού χρόνου μοντελοποιηθεί ως δίκτυα χρονικά αυτόματα, επεκτείνεται με τύπους δεδομένων (που οριοθετείται ακέραιοι, πίνακες,...
