Currently hosted application.
NB: URL may change and this link will be useless.
Streader's Raiders SWEN302 Group Project
Click for the latest jar build from master
Automata Concocter is developed using the Bootstrap framework.
cd .../Model-Checker Run the build task using
./gradlew buildinside modelchecker. This will take care of web dependencies and will give you a single executable jar.
The Automata Concocter is a web based application that constructs finite state automata based on text input of the user and was designed as an educational tool for students studying software engineering. The AC allows the user to define multiple automata and navigate through diffirent edges to reach different states within the user defined state machines. The user can save defined automata as a txt file and can upload a previously saved txt file with defined state machines.
###Styles
Main application css files can be found in the styles directory (Model-Checker/app/styles/).