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

Valid CSS Valid XHTML 1.1 Roberto Zunino, 2011