SofTools, Inc.
United States
fax: 248 853 7602
contact_
To download a free version of the most recent version of STAD click here.
Currently STAD 4.3.1 is available.
The differences between successive versions are specified in the Version_History.doc in the DOC directory downloaded with STAD.
IMPORTANT: STAD requires Free Pascal to be installed on your computer. STAD instruments the Program Under Analysis (PUA) and then invokes the Free Pascal compiler fpc.exe to compile the resulting instrumented PUA. The instrumented PUA is used to carry out the dynamic testing part of STAD. Free Pascal can be downloaded by visiting the Free Pascal website
To download an academic, "light" or trial version of VDM-CSK Toolbox visit the following site:
To download an academic, "light" or trial version of Praxis' Spark Examiner visit the site:
or
http://www.libre.adacore.com
To download a free version of STAD 3.0 click here.
STAD 3.0 is an older version of the tool with much weaker static analysis support. It is developed for programs written in Turbo Pascal rather than in Free Pascal. However, unlike version 4.0, it does support the Trace function, a recorded history of program execution.
Either version of STAD is .zipped together with the relevant User Guide and Version History.
Copyright this business. All rights reserved.
SofTools, Inc.
United States
fax: 248 853 7602
contact_