FINAL PROJECT REPORT

FINAL PROJECT REPORTA ugust 2007 PROJECT no.: IST-2001-35304 PROJECT Co-ordinator: Frits VaandragerProject Start Date: 1 April 02 Duration: 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 .. Modelling Frameworks for Scheduling Under (Discrete) Uncertainty Optimization and Constraint Satisfaction as a Tool for Timed Au-tomata Analysis .. Improvements in Timed automata model checking Technology.

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

Loading..

Tags:

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

Information