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

Re: [tlaplus] Very simple question by TLA newcomer

Hi Petar,

Stephan is probably right about showing the model checker rather than
the proof system.  However, it's impossible to give you good advice
without knowing more about your presentation--in particular, who it's
for, what its purpose is, and how much time you have.  You might want
to look at one or more of the presentations I've given that have been
recorded and put on the Web.  The one that I expect is most relevant
is at


You might also suggest that your professor watch it. 

Good luck,