FINAL PROJECT REPORT

← Back to document page

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