Telecharger Cours

Automatic Cryptographic Protocol Verifier, User Manual and Tutorial

Clauses are built from facts which can be p(M1,...,Mk) for some predicate declared by pred, M1 = M2, or M1 <> M2. The clauses Ci can take the following ...



Download