Scyther.Theory.Dot
Description
.dot file generation for elements of a security protocol theory.
Documentation
dotProtocol :: Protocol -> Dot ()Source
Convert a protocol to a dot graph.
scyther-proof-0.3.0: Automatic generation of Isabelle/HOL correctness proofs for security protocols.
Scyther.Theory.Dot
Description
.dot file generation for elements of a security protocol theory.
dotProtocol :: Protocol -> Dot ()Source
Convert a protocol to a dot graph.