Typestate Editor
Examples
Preview
Do
Loading...
Typestate → AST
Do
Loading...
AST → Automaton
Do
Loading...
Automaton → AST
Do
Loading...
AST → Typestate
Do
Loading...
Preview
Typestate → AST
AST → Automaton
Automaton → AST
AST → Typestate
Alice
Bob
Collection
CProtocol
Drone
File
Iterator
DroppableIterator
NodeA
NodeB