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).
Commercial Use
Modify
Distribute
Place Warranty
Sub-License
Hold Liable
Distribute Original
Disclose Source
Include Copyright
State Changes
Include License
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