Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
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 dbbb5ca340 Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
..
document Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
examples Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Examples.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Intruder_Deduction.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Labeled_Stateful_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Labeled_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Lazy_Intruder.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Messages.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Miscellaneous.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
More_Unification.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Parallel_Compositionality.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
ROOT Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Stateful_Compositionality.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Stateful_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Stateful_Typing.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Strands_and_Constraints.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Typed_Model.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago
Typing_Result.thy Initial commit, based on AFP entry dated 2020-05-22. 7 months ago