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

README.md

efsm-isabelle

Implementation of EFSMs in Isabelle/HOL