Description
Provides library support for input processes in the SAPIC calculus for the Tamarin prover. SAPIC is used to describe security protocol processes for formal analysis.
It is useful for researchers and tool developers modeling security protocols with Tamarin. It is a specialized library component and is normally used as part of the Tamarin verification stack.