Regal
Fonctionnalités générales du logiciel
Regal est un paquetage C++ qui permet de générer des automates déterministes finis initialement connectés (ou ICDFAs) de manière exhaustive ou aléatoire, en utilisant un générateur de Boltzmann.
Il fournit à la communauté de recherche un outil qui permet de :
- Tester une implémentation d'algorithme sur les automates.
- Vérifier des propriétés sur les automates.
- Faire des analyses en moyenne en vue d'établir des conjectures.