Καλύτερος διασφάλισης της ποιότητας και τις δοκιμές του λογισμικού για Alexandre David

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