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

Re: [tlaplus] Proofs of integer properties

> Le jeudi 6 novembre 2014 09:14:11 UTC+1, Stephan Merz a écrit :
> below is a simple proof in TLAPS of what I believe is your intended result.
By the way Stephan, your book about temporal logic [1] is not available at Gibert's  (it is not referenced).
It is available at Eyrolles'?  I ask this because, it will save me a walk.
[1] "Temporal logic and state systems".