Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machine_Inference".
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Achim D. Brucker 2863b3552a Initial commit. 4 weeks ago
..
code-targets Initial import from AFP. 4 weeks ago
document Initial import from AFP. 4 weeks ago
examples Initial import from AFP. 4 weeks ago
heuristics Initial import from AFP. 4 weeks ago
Code_Generation.thy Initial import from AFP. 4 weeks ago
EFSM_Dot.thy Initial import from AFP. 4 weeks ago
Inference.thy Initial import from AFP. 4 weeks ago
ROOT Initial commit. 4 weeks ago
SelectionStrategies.thy Initial import from AFP. 4 weeks ago
Subsumption.thy Initial import from AFP. 4 weeks ago
efsm2sal.thy Initial import from AFP. 4 weeks ago