Local mirror of Automated Stateful Protocol Verification entry of the Archive of Formal Proofs (AFP).

Updated 5 months ago