[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Formal methods for the application programmer
From
: Andrew Wilcox <
andrew...@xxxxxxxxx
>
Date
: Sun, 3 Jul 2016 13:04:23 -0700 (PDT)
References
: <
2454cc21-c9d8-4903-bb4b-26d7de091c4c@googlegroups.com
> <
ee698f38-82d1-400f-9114-03b1535fe662@googlegroups.com
>
https://www.youtube.com/watch?
v=6QsTfL-uXd8
Excellent introduction! I recommend you include the link on your TLA+ page :)
References
:
Formal methods for the application programmer
From:
Andrew Wilcox
Re: Formal methods for the application programmer
From:
Leslie Lamport
Prev by Date:
Re: Parsing Error in Consensus.tla
Next by Date:
Where is the model value symmetry set specified in the Toolbox?
Previous by thread:
Re: Formal methods for the application programmer
Next by thread:
Where is the model value symmetry set specified in the Toolbox?
Index(es):
Date
Thread