Counter-examples by approximation approach

• Previous message: vanessa goyal: "Syntax error"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi,

I am wondering if I can get counter-example for "approximate" model
checking or "approximate" invariant checking.

I have checked "approximate_model_check" and "iterative_model_
check" commands, but it seems that none of them produces
counter-examples.

Is it difficult to implement counter-example generation for approximate
method? Or, is it going to be implemented in the next release?

Regards,

Kenshu Seto

• Next message: Robert J Clarke: "(no subject)"
• Previous message: vanessa goyal: "Syntax error"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Sun Nov 25 2001 - 08:48:40 MST