[tlaplus] User Guide to Model Checking for Industrial Programmers with TLA+

[Shane Miller <gshanemiller6@xxxxxxxxx>]

This is a quick note that the examples in:

https://github.com/gshanemiller/tla-examples

together with an updated 'tla.pdf' have been pushed. It includes a model of a packet based RPC protocol. I will continue to update this over the upcoming months.

The PDF is a self-contained treatment on TLA with many examples. I've included page 1 here containing the abstract and table of contents if you're curious.

Regards

-- 
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 view this discussion visit https://groups.google.com/d/msgid/tlaplus/01d6c656-03e2-4fe5-8e68-9db33edc15b3n%40googlegroups.com.

Attachment: brief.pdf
Description: Adobe PDF document