The latest version of tamarin-prover-term is 0.8.5.1-0.
tamarin-prover-term
Version 0.8.4.0 revision 0 uploaded by BenediktSchmidt.
Package meta
- Synopsis
- Term manipulation library for the tamarin prover.
- Description
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.
- Author
- Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>, Simon Meier <simon.meier@inf.ethz.ch>
- Bug reports
- n/a
- Category
- Theorem Provers
- Copyright
- Benedikt Schmidt, Simon Meier, ETH Zurich, 2010-2012
- Homepage
- http://www.infsec.ethz.ch/research/software/tamarin
- Maintainer
- Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>
- Package URL
- n/a
- Stability
- n/a