Qfsm ist ein grafischer Editor zum einfachen Zeichnen von endlichen Automaten. Er ist in C++ mit Qt geschrieben. Transitionen können entweder binäre oder Text-Bedingungen haben. Die Automaten können simuliert und auf Integrität geprüft werden. Damit wird die Verifikation eines korrekten Entwurfs und korrekter Funktion möglich. (non)