Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
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 c3c1cafaa3 Import of AFP for Isabelle 2021. 9 months ago
..
document Import of AFP for Isabelle 2021. 9 months ago
examples Initial import from AFP. 12 months ago
AExp.thy Initial import from AFP. 12 months ago
AExp_Lexorder.thy Initial import from AFP. 12 months ago
EFSM.thy Import of AFP for Isabelle 2021. 9 months ago
EFSM_LTL.thy Initial import from AFP. 12 months ago
FSet_Utils.thy Import of AFP for Isabelle 2021. 9 months ago
GExp.thy Initial import from AFP. 12 months ago
GExp_Lexorder.thy Initial import from AFP. 12 months ago
README.md Initial import from AFP. 12 months ago
ROOT Renamed session to avoid name clash with offical AFP entry. 12 months ago
Transition.thy Initial import from AFP. 12 months ago
Transition_Lexorder.thy Initial import from AFP. 12 months ago
Trilean.thy Initial import from AFP. 12 months ago
VName.thy Initial import from AFP. 12 months ago
Value.thy Initial import from AFP. 12 months ago
Value_Lexorder.thy Initial import from AFP. 12 months ago

README.md

efsm-isabelle

Implementation of EFSMs in Isabelle/HOL