A problem with ltl-model-checking

From: Fang Wang (f_wang_at_ece.concordia.ca)
Date: Sat Mar 27 2004 - 08:26:05 MST

• Next message: Fritz Thorpe: "Finally, an affiliate program that works!"
• Previous message: Cecil Kimble: "You went to school and got no diploma? We can fix that..."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hello,

I got a surprised result when I try to verify a property (attached)
with ltl_model_check: A property is passed with
"ltl_modeL_check "-F -S EL -L off". However, with adding option -X
to the above command, the property is failed.

Some comments?

Thanks,

fang

• APPLICATION/ZIP attachment: test.zip

• Next message: Fritz Thorpe: "Finally, an affiliate program that works!"
• Previous message: Cecil Kimble: "You went to school and got no diploma? We can fix that..."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Sat Mar 27 2004 - 08:27:57 MST