FS2PV: A Cryptographic-Protocol Verifier for F#

Language:
English
FS2PV is a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. Last published: February 14, 2007.