Status (Statut): Assigned (Assigné)
Description (Description):

This project is to develop a tool in Java that
- takes in a finite state machine in the format
  to be specified, and
- applies a collection of algorithms given in [UWZ97, HU04, HZ05]
  to construct checking sequences in the format to be specifed.

An example of input and output of this tool is given in [UWZ97].

Supervisor's e-mail (Courrier electronique du superviseur): ural@site.uottawa.ca