FINAL PROJECT REPORT

← Back to document page

FINAL PROJECT REPORTAugust 2007Project no.: IST-2001-35304Project Co-ordinator: Frits VaandragerProject Start Date: 1 April 02Duration: 39 monthsProject home page: : PublicContents1 PROJECT Consortium Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . Main Achievements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 PROJECT Objectives63 PROJECT Methodologies, Results and model - based System Development . . . . . . . . . . . . . . . . . . . . . . PROJECT Results: Expressiveness, Performance & Tools . . . . . . . . . . . . Priced Timed automata : Theory, Algorithms and Applications . . Stochastic Extensions of Timed automata .

verification or model checking. Ametist has shown that this approach, which underlies the successful domain of formal verification, can be extended to resource allocation, scheduling and other time-related problems. Ametist has made major advances in the area of (timed automata based) tools. Several

  Based, Model, Report, Project, Final, Checking, Final project report, Automata, Model checking, Automata based