Alekto
This is the webpage of the software Alekto. Alekto is a software for complementation of Büchi automata, using an improved version of the so-called Ramsey-based method. It is written in the programming language Java, and the source code is available on this webpage.
Download
- Java source files: Alekto-2011-10.jar
- Log of complementation tasks: logfile.txt.gz
Contact
Jörg Olschewski
e-mail: olschewski(at)automata.rwth-aachen.de