Local mirror of Automated Stateful Protocol Verification 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 140ae6d623 Import of AFP for Isabelle 2021. 11 months ago
..
document Import of AFP for Isabelle 2021. 11 months ago
examples Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
trac Import of AFP for Isabelle 2021. 11 months ago
Eisbach_Protocol_Verification.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Examples.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
PSPSP.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
ROOT Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Stateful_Protocol_Model.thy Import of AFP for Isabelle 2021. 11 months ago
Stateful_Protocol_Verification.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Term_Abstraction.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Term_Implication.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Term_Variants.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Transactions.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago