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

I'm getting started

Hello everyone,

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 find 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,