fairness constraint

From: vanessa goyal (vanessa_goyal@rediffmail.com)
Date: Thu May 24 2001 - 02:39:20 MDT

Next message: vanessa goyal: "(no subject)"

Previous message: Guang Qu: "about "eisenberg" in VIS"
Next in thread: Fabio Somenzi: "Re: fairness constraint"
Reply: Fabio Somenzi: "Re: fairness constraint"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

sir
If a=1(one of the input to FSM) is fairness constraint,then reachability analysis
will get restricted to paths for which a=1.
So,i expect, on failure of any property,counter example generated should contain only those states for which
a=1,but its showing states having a=0 also.
Is it my misconception.
thanking you
vanessa

_____________________________________________________
Chat with your friends as soon as they come online. Get Rediff Bol at
http://bol.rediff.com

Next message: vanessa goyal: "(no subject)"
Previous message: Guang Qu: "about "eisenberg" in VIS"
Next in thread: Fabio Somenzi: "Re: fairness constraint"
Reply: Fabio Somenzi: "Re: fairness constraint"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Thu May 24 2001 - 02:42:51 MDT