Vaucanson is a finite state machine manipulation platform, consisting of a library and tools implemented on top of it. It benefits from the expertise we gained from LRDE's intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at the Ecole Nationale Supérieure des Télécommunications (ENST).
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities