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.

Synopsis

Documentation

dotSequentMarked :: Set Event -> Sequent -> Dot ()Source

Dot a sequent with some marked events.

dotProtocol :: Protocol -> Dot ()Source

Convert a protocol to a dot graph.

graphvizDotToPng Source

Arguments

:: FilePath	Path to dot tool.
-> FilePath	Dot file to convert
-> FilePath	Png file to output
-> Chan String	Message channel
-> IO ()

Convert a .dot file to a .png file using the dot tool.