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