[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
I'm getting started
I'm getting started with TLAPS. I've read the paper "Verifying Safety Properties With the TLA+ Proof System" and there it mentions "We have written a number of proofs, mainly to ﬁnd bugs and see how well the prover works. Most of them are in the examples sub-directory of the TLAPS distribution."
But I downloaded the lastest distribution of LTAPS (from http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html#installing) and there is no sub-directory named examples.
Where can I find that subdirectory with examples?
Thanks for the help,