A free, open-source Java library for modeling automata, graphs, and tran...
A model checker for infinite-state systems.
Yet Another (natural language) Parser