scyther-proof-0.3.0: Automatic generation of Isabelle/HOL correctness proofs for security protocols.
.dot file generation for elements of a security protocol theory.
dotSequentMarked :: Set Event -> Sequent -> Dot ()Source
Dot a sequent with some marked events.
dotProtocol :: Protocol -> Dot ()Source
Convert a protocol to a dot graph.
Path to dot tool.
Dot file to convert
Png file to output
Convert a .dot file to a .png file using the dot tool.
Produced by Haddock version 2.9.2