FOADA

Java tool for First Order Alternating Data Automata based on JavaSMT.

Author

Xiao XU(xiao.xu.cathiec@gmail.com) & Radu IOSIF(radu.iosif@univ-grenoble-alpes.fr)

Java Version

JavaSE 1.8 is the best version for FOADA. A higher or lower version would cause problems with JavaSMT-integrated solvers.

Installation

1. Download/Clone the project "FOADA" from GitHub.
2. Open terminal and go to the project folder.
3. Type sudo make install to finish installing the tool.

Installation Check

Type foada -c to check whether FOADA is successfully installed and all the solvers are successfully integrated with JavaSMT.

Uninstallation

1. Open terminal and go to the project folder.
2. Type sudo make uninstall to remove the tool from your computer.

Emptiness Checking

Type foada -e [inputfile] to check whether the automaton in the inputfile is empty. The implemented algorithms is IMPACT.