statebox/fsm-oracle

Finite state machines as graphs

18 best points · 0 comments · 1 Hacker News post · 60 GitHub stars · View on GitHub

Hacker News discussions

• FSM-Oracle – A formally verified Finite State Machine oracle (18 points, 0 comments, by dgellow, 2020-04-30)