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

temporal properties

From: Gideon Yuval <gy94...@xxxxxxxxx>
Date: Mon, 10 Mar 2014 11:25:01 -0700 (PDT)

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

Follow-Ups:
- Re: [tlaplus] temporal properties
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] sets
Next by Date: Re: [tlaplus] temporal properties
Previous by thread: Re: [tlaplus] sets
Next by thread: Re: [tlaplus] temporal properties
Index(es):
- Date
- Thread