tamarin-prover-term-1.2.2: Term manipulation library for the tamarin prover.
This is an internal library of the Tamarin prover for security protocol verification (hackage.haskell.org/package/tamarin-prover).
This library provides term manipulation infrastructure (matching, unification, narrowing, finite variants) for the Tamarin prover. It uses maude (http://maude.cs.uiuc.edu/) as a backend for normalization, equational matching, and unification.
Modules
- Term
- Builtin
- Term.LTerm
- Maude
- Narrowing
- Term.Positions
- Rewriting
- Term.Substitution
- Term.Subsumption
- Term.SubtermRule
- Term.Unification
- Term.UnitTests
- Term.VTerm