MH, a prototype for checking universality of Büchi automata

Please provide us with the following information. We will not use this to spam you, we would just like to keep track of people downloading our tool (we can also inform you of the release of future versions):




E-mail address*:

Please, do not send me any e-mail related to future release/upgrade of this tool.

*Required fields.

The program mh is supplied "as is", without expressed or implied warranty of any kind, especially regarding the correctness of the results it produces.

Author: Laurent Doyen