Backward Reachability Analysis

From: Zhao, Yang (zhaoyang_at_ict.ac.cn)
Date: Wed Apr 18 2007 - 04:58:48 MDT

• Next message: Borzoo Bonakdarpour: "Mdd/Glu vs. Cudd/Bdd"
• Previous message: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hello, all
  
Could anyone give me some instruction on how to get the backward reachable states from a initial state. I do not quite sure even after I read the command manual. Thank you very much!
                                 
--------------
Zhao, Yang
Key Laboratory of Computer System and Architecture,
Institution of Computing Technology,
Chinese Academy of Sciences.
2007-04-18

• Next message: Borzoo Bonakdarpour: "Mdd/Glu vs. Cudd/Bdd"
• Previous message: gepolv: "Re: anybody send me a copy of old version of cudd or just send me a link"
• 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 : Wed Apr 18 2007 - 05:05:20 MDT