Data for EFSM Proof Work:

EFSM inference software

Models from Case Studies: Case Study 1 Case Study 2

Results: Bool ListNat Values Coqlib