Description
Provides accountability-related library support for the Tamarin prover. Tamarin is used to model and analyze security protocols, and accountability features help reason about responsibility in protocol behavior.
It is useful for researchers and developers working with formal verification of security protocols. It is a specialized library component and not a complete prover interface by itself.