Qfsmは、有限状態マシンを簡単に描画するためのグラフィカルなエディタであり、Qtを使ってC言語で書かれています。遷移は、バイナリ又はASCIIのいずれかの条件を持てます。マシンはシミュレートすることができ、整合性チェックを行い適切な設計と動作の検証が可能です。
