Re: [isabelle] prooving protocols

You will find ample documentation on our website:

Isabelle is not a push-button verifier. It takes some time to learn, and security protocol verification is one of the more demanding applications. Push-button security protocol verifiers do exist, and possibly you should obtain one of those.

Larry Paulson

On 18 Nov 2010, at 17:40, Novio wrote:

> Hi,
> I didnt find any material about how to
> proove something in Isabelle. I need
> to proove security protocols. I found
> that in installation package in Isabelle
> are some protocols but I didnt find in
> Isabelle's web page what to do exactly,
> which button to push to begin prooving.
> Thanks, PH

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.