(no subject)

From: Roopak Sinha (rsin077_at_ec.auckland.ac.nz)
Date: Thu Jul 28 2005 - 16:19:16 MDT

• Next message: Roopak Sinha: "NuSMV explicit state model checking"
• Previous message: angela pappagallo: "About"
• In reply to: Fabio Somenzi: "Re: Finding a Variable Ordering"
• Next in thread: Roopak Sinha: "NuSMV explicit state model checking"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi everyone,

Does NuSMV have an explicit state model checker in addition to the BDD based
MC? If not, is there any document that gives an idea of how satisfaction of
a CTL formula is decided? This will save me from having to do a brute force
search.

Regards
Roopak

• Next message: Roopak Sinha: "NuSMV explicit state model checking"
• Previous message: angela pappagallo: "About"
• In reply to: Fabio Somenzi: "Re: Finding a Variable Ordering"
• Next in thread: Roopak Sinha: "NuSMV explicit state 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 : Thu Jul 28 2005 - 16:24:44 MDT