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 1f29340b1b Import of AFP for Isabelle 2021. 9 months ago
..
code-targets Initial import from AFP. 12 months ago
document Import of AFP for Isabelle 2021. 9 months ago
examples Import of AFP for Isabelle 2021. 9 months ago
heuristics Import of AFP for Isabelle 2021. 9 months ago
Code_Generation.thy Import of AFP for Isabelle 2021. 9 months ago
EFSM_Dot.thy Initial import from AFP. 12 months ago
Inference.thy Initial import from AFP. 12 months ago
ROOT Initial commit. 12 months ago
SelectionStrategies.thy Initial import from AFP. 12 months ago
Subsumption.thy Initial import from AFP. 12 months ago
efsm2sal.thy Initial import from AFP. 12 months ago