FSM-Oracle – A formally verified Finite State Machine oraclegithub.com/statebox18 pointsdgellow6 years ago