http://www.tlaplus.net/posts/2009/08/tools-and-methods-for-formal-specs-and-for-proofs/ The TLA+ and PlusCal Resource Sun, 21 Aug 2011 00:17:59 +0000 hourly 1 http://wordpress.org/?v=3.2.1 http://www.tlaplus.net/posts/2009/08/tools-and-methods-for-formal-specs-and-for-proofs/comment-page-1/#comment-2 TLA+ | The way to specify » Blog Archive » Coming soon: TLA+ Toolbox Thu, 13 Aug 2009 01:07:34 +0000 http://www.tlaplus.net/?p=283#comment-2 [...] and simplify the access to the languages some improvements are being developed in the scope of the project run by Microsoft Research and INRIA. Along with the focus on the proof aspect of TLA+, the [...] [...] and simplify the access to the languages some improvements are being developed in the scope of the project run by Microsoft Research and INRIA. Along with the focus on the proof aspect of TLA+, the [...]

]]>