The PROUVÉ Parsing Library

This library provides the functionality needed to parse protocol specifications files, as well as security asssertions. Syntax and semantics of the PROUVÉ specification language and of the PROUVÉ assertion language are described in the PROUVÉ manual [Postscript] [PDF]. The library is written in Objective CAML (OCaml). To compile this library you need an OCaml compiler of version 3.07 or later.

Source tarball version 2.0.0 of 2005/12/02
Source tarball version 3.0.0 of 2009/04/14
Licence: GNU Lesser General Public Licence
Changes

[PROUVÉ main page]