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 Jun 04 2001 - 13:42:16 MDT