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. 1 month ago
..
document Import of AFP for Isabelle 2021. 1 month ago
examples Initial import from AFP. 3 months ago
AExp.thy Initial import from AFP. 3 months ago
AExp_Lexorder.thy Initial import from AFP. 3 months ago
EFSM.thy Import of AFP for Isabelle 2021. 1 month ago
EFSM_LTL.thy Initial import from AFP. 3 months ago
FSet_Utils.thy Import of AFP for Isabelle 2021. 1 month ago
GExp.thy Initial import from AFP. 3 months ago
GExp_Lexorder.thy Initial import from AFP. 3 months ago
README.md Initial import from AFP. 3 months ago
ROOT Renamed session to avoid name clash with offical AFP entry. 3 months ago
Transition.thy Initial import from AFP. 3 months ago
Transition_Lexorder.thy Initial import from AFP. 3 months ago
Trilean.thy Initial import from AFP. 3 months ago
VName.thy Initial import from AFP. 3 months ago
Value.thy Initial import from AFP. 3 months ago
Value_Lexorder.thy Initial import from AFP. 3 months ago

README.md

efsm-isabelle

Implementation of EFSMs in Isabelle/HOL