Generating Correct-by-Construction Code from Graphviz Diagrams
Stateful systems are extremely common in the real world: lift controllers, ATMs, even networks all have an underlying state which updates as the system receives different inputs. These stateful systems can be drawn as…