# Software

## PCL theorem prover

PCL is a theorem prover for
Propositional Contract Logic (PCL).

## LocUsT

LocUsT is a local policy checker.

## Rewrite

Rewrite is a tree automata completion tool
and security protocol analyzer. The current development version can
certify its claims through a machine-checkable Coq formal proof.

Home

Roberto Zunino, 2011