Sorry for the late reply.
We don't have any very simple model checkers in C. We have one advanced
one, called vis, available at http://vlsi.colorado.edu.
We may have a simple one written in Perl.
Fabio, is that accurate?
Roderick.
Robert Brayton wrote:
> Can someone answer this.
>
> ----- Original Message -----
> From: "sriram sita" <sriram_sita@lycos.com>
> To: <brayton@eecs.berkeley.edu>
> Sent: Sunday, June 03, 2001 11:00 PM
> Subject: Can you help me ...
>
>
>
>>Hi! Prof. Robert Brayton,
>>
>>May i request your help in terms of letting me have a simple CTL model
>>
> checker source code in C, where the input model as well as the formula has
> to be read using a lex/yacc interface. it would just check for a very simple
> model for the following CTL formula, AU, AX, AF, AG, EU, EX, AF and EG. I
> would really appreciate your help in this regard.
>
>>Thanks and regards,
>>SR.
>>
>>
>>Get 250 color business cards for FREE!
>>http://businesscards.lycos.com/vp/fastpath/
>>
This archive was generated by hypermail 2b30 : Mon Jul 02 2001 - 10:22:45 MDT