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.
On 18 Nov 2010, at 17:40, Novio wrote:
> 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