Dans le tableau ci-dessous, nous présentons l'ensemble des fichiers employés dans les tests effectués sur la porte
Muller .
Les détails des tests sont donnés dans exp-muller.
| Tests | VHDL | Délais | Environnement | HyTech | Uppaal | Propriétés à vérifier |
|---|---|---|---|---|---|---|
| test 1 | muller.vhd | muller.tmp | muller.env | muller.hy | muller.ta | muller.q |