Documentation and downloads
Product description, license and maintenance agreement
You can view FORCHECK's Product description, License agreement and Maintenance agreement.
User guides
You can download and view FORCHECK's user guides using e.g. the Adobe Acrobat Reader:
- User guide for Windows with IDE
- User guide for Windows command line
- User guide for Unix and Linux with IDE
- User guide for Unix and Linux command line
- Installation guide for Linux
- Installation guide for HP/UX
Configuration files
You can download the most recent configuration files for emulating the various supported compilers:
Libraries
The following libraries contain interfaces:
Source code of ForcheckIDE
ForcheckIDE is licensed under the GPL. You can download the source code here.
Evaluations
You can request download information and a password file to evaluate Forcheck for one month:
Updates
The latest Forcheck version of the analyzer is V14.1. The latest version of the IDE is V14.1. If you are a registered user and are interested to update to the latest version you can request or order a new copy.
- If you have bought Forcheck within the last 3 month you can request a free new release or version.
- If you have bought Forcheck within the last 6 month you can request a free new release of the same version.
- If you have bought Forcheck earlier you can order an update.
| previous page | top page |
| Forcheck
Contact |
|

