jascal

Go from natural language to verified finite state machines — topology bugs caught before code runs.