Certifying derivation of state machines from coroutines.

Mirai Ikebuchi Andres Erbsen Adam Chlipala

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

state machines
state machine
petri net
recurrent networks
fault tolerant
neural network
learning algorithm
case study
control system
sequence diagrams