Help

TLC

Revision as of 11:41, 4 December 2013 by Dominik Hansen (talk | contribs) (Created page with 'The model checker [http://research.microsoft.com/en-us/um/people/lamport/tla/tlc.html TLC] has been integrated into ProB (Tcl/Tk) as of version 1.3.7-beta.')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The model checker TLC has been integrated into ProB (Tcl/Tk) as of version 1.3.7-beta.

Retrieved from "https://prob.hhu.de/w/index.php?title=TLC&oldid=2046"