[tlaplus] New To Group

[tobrien@xxxxxxxxx]

Hello,
I am evaluating TLA+ for my project and I have some questions that would be pretty basic for the group, I would imagine. 
If I am in the wrong group please feel free to tell me where I should go to ask such questions. 

If not, any help with the following questions would be greatly appreciated. 

(1) I don't see any information on implementing safety with TLA+. Can anyone shed light on why this is the 
     case and if TLA+ allows implementation of safety. 

(2) I would like to cal TLA+ from my application using command line or even better some api. Is there a guide on how to do this. 

(3) I would like to use the logical expressions in Lamperts lectures not the TLA+ language. 

(4) does TLA+ have support for the full set of temporal operators O,<>,[ ], U (up until), W( true unless). 

Thanks in advance for your help. 
Tim

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.