User Tools

Site Tools


tla:misc:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
tla:misc:start [2017/10/31 17:02]
jonathan created
tla:misc:start [2018/09/17 13:47] (current)
jonathan
Line 1: Line 1:
 ====== Miscellaneous Resources ====== ====== Miscellaneous Resources ======
   * [[https://​lamport.azurewebsites.net/​tla/​tlc-options.html|TLC Command Line Options]]   * [[https://​lamport.azurewebsites.net/​tla/​tlc-options.html|TLC Command Line Options]]
 +  * [[https://​pron.github.io| Ron Pressler Blog]] with commentary on TLA+
 +  * [[https://​www.youtube.com/​watch?​v=zGIK2p6csAo|Video]] State Space Explosion or: How To Fight An Uphill Battle - Markus Kuppe
tla/misc/start.1509469353.txt.gz · Last modified: 2017/10/31 17:02 by jonathan