SOFTWARE using JFLAP in some way

Many people have either modified JFLAP or used parts of it for their use over the years. We will attempt to list such efforts here. Please send me email and I would be happy to post information about your use of JFLAP or parts of JFLAP.

Software

Many of the papers by others on this page describe software extensions to JFLAP.

DAVID (Didactic And Visual Interface for Development), an extension to JFLAP that accepts submissions of instances of DFAs, NFAs, RegExs, CFGs, or PDAs from students and immediately verifies the correctness of each submission. 2022. See SIGCSE 2022 paper by Ivona Bezakova, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller and David E. Narvaez.

GOAL is a graphical interactive tool for defining and manipulating Buchi automata and temporal logic formulae. It also partially supports other variants of omega-automata. The first generation of Goal was started based on adaptations of JFLAP, in particular the finite automata and the graphics modules. The second generation is based on a completely new architecture/design. GOAL (posted in May 2011).

Ben-Ari, Mordechai. Spin Model Checker.
JFLAP is referenced in the book Principles of the Spin Model Checker and the Visualizing Nondeterminism (VN) software tool mentioned reads nondeterministic finite automata from the JFLAP file format, 2008.