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

temporal properties



I copied the alternation &handshake (enclosed)  from the book. Model gives me "Temporal properties were violated." . Am I doing anything obviously wrong?

Thanks

/Gideon

Attachment: alternation1.tla
Description: Binary data

Attachment: handshake1.tla
Description: Binary data