TLA Tools 2.1.5
A toolkit for TLA specification language and the PlusCal algorithm language, together wit
A toolkit for TLA specification language and the PlusCal algorithm language, together with their associated tools
ADVERTISING
Software Specs
Publisher:............ Microsoft Research
License:............... Freeware
File size:.............. 3.3 MB
Downloads:.........
Release date:...... 14 Mar 2013
Last update:........ 25 Aug 2014
Publisher review for TLA Tools 2.1.5:
Review by: Microsoft Research
TLA Tools is a useful collection of utilities and components that includes a program for typesetting TLA specifications, a simulator and model checker addressing a subclass of
Requirements:
Operating system:
Windows XP / Vista / 7
TLA Tools download tags:
TLA language PlusCal algorithm PlusCal to TLA Cal2TLA simulator
Copyright information:
SPONSORED LINKS
Rate this software
TLA Tools
Based on 0 ratings. 0 user reviews.
Based on 0 ratings. 0 user reviews.