Reachability information

From: Niklas Een (een_at_cs.chalmers.se)
Date: Sat Nov 08 2003 - 02:24:50 MST

• Next message: Chao Wang: "Re: Reachability information"
• Previous message: 022021074_at_fudan.edu.cn: "vis study"
• In reply to: 022021074_at_fudan.edu.cn: "vis study"
• Next in thread: Chao Wang: "Re: Reachability information"
• Reply: Chao Wang: "Re: Reachability information"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

I wish to use VIS' reachability analysis to create invariants for
other (SAT-based) model checkers. Is there a way to make VIS output the
conjunction of BDDs representing the reachable state space as computed by
'compute_reach'?

// Niklas

• Next message: Chao Wang: "Re: Reachability information"
• Previous message: 022021074_at_fudan.edu.cn: "vis study"
• In reply to: 022021074_at_fudan.edu.cn: "vis study"
• Next in thread: Chao Wang: "Re: Reachability information"
• Reply: Chao Wang: "Re: Reachability information"
• 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 Nov 08 2003 - 02:28:06 MST