Re: [CZT-Devel] Model Checking???

[Tim M. <tm...@un...>]

Hi Cristian,

Leo Freitas did some work on model checking Circus (an extension of Z). 
He would be the person to talk to about this (if he has not already 
replied to you).

A group at the University of Sheffield also did some work on translating 
Z to SAL for model checking: 
http://staffwww.dcs.shef.ac.uk/people/A.Simons/z2sal/

Regards,
Tim

On 22/08/12 05:09, Cristian Vidal Silva wrote:
> Dear.
>
> I need to know if Model Checking is possible using CZT? If so, where can
> I find related information about that? If not, I'd like to be a member
> of the team for doing a program for Model Checking...
>
> I wait for your comments.
>
> Sincerely,
>
> Cristian.
>