[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Fw: (model-check)



sorry , I send now to the good mail address
----- Original Message -----
Sent: Thursday, September 19, 2002 5:36 PM
Subject: (model-check)

Ref : Peterson algorithm in Machine Assisted Verification using Th Proving and Model Ch. (Shankar) p20
 
when trying to reproduce the command (model-check) for the property I(s) => AG(G, safe) (s)
I get :
        "Failed to Model check:
              could not decode binary encodings of scalars. ...."
Can you help me ? Thanks
                                                            JF Molderez