Data for EFSM Proof Work:
EFSM inference software
Models from Case Studies: Case Study 1 Case Study 2
Results: Bool ListNat Values Coqlib