Code Generation Tool
Here you can download the Code Generation Tool (CGT) which creates host model specific code from the formal description. It comes along with an editor (CGT-EDIT) for conveniently editing the textfiles of the formal description. Both programs are licesed under the GNU Public License (GPL) v3.0.
We recommend to download a binary. These work under Windows and under most recent LINUX versions.
Download source code
As ERGOM, the CGT is free software, so you can also download the source code. CGT and CGT-EDIT are written in Pascal. So you may need to download FreePascal Lazarus to compile it. The editor CGT-EDIT uses a numerical library ALGLIB which is also licensed under the GPL.
Here you find older versions for download.