reductions in LTL model checking

From: Fang Wang (f_wang_at_ece.concordia.ca)
Date: Tue Jan 20 2004 - 14:45:14 MST

• Next message: Chao Wang: "Re: reductions in LTL model checking"
• Previous message: Cedric Roux: "problem with "simulate""
• Next in thread: Chao Wang: "Re: reductions in LTL model checking"
• Reply: Chao Wang: "Re: reductions in LTL model checking"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hello,

I'd like to know if there are some automatic reduction
methods in the VIS LTL model checking application.
If yes, how to deactivate them.

Sincerly
Fang wang

• Next message: Chao Wang: "Re: reductions in LTL model checking"
• Previous message: Cedric Roux: "problem with "simulate""
• Next in thread: Chao Wang: "Re: reductions in LTL model checking"
• Reply: Chao Wang: "Re: reductions in LTL model checking"
• 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 : Tue Jan 20 2004 - 14:46:37 MST