Installation and Usage. The source code of GMC is available from ▇▇▇▇://▇▇▇.▇▇▇.▇▇▇▇.▇▇/projects/formal_ methods/gmc/. During the installation, it is necessary to compile the extended GCC and GMC itself. A detailed step-by-step description of the installation and prerequisites can be found in the INSTALL file, which is provided in the source code distribution. The integrated model checker tests provide the basic usage examples.
Appears in 1 contract
Sources: Grant Agreement
Installation and Usage. Prerequisites The source code of GMC is available from ▇▇▇▇://▇▇▇.▇▇▇.▇▇▇▇.▇▇/projects/formal_ methods/gmc/. [gmca]. During the installation, it is necessary to compile the extended GCC and GMC itself. A detailed step-by-step description of the installation and prerequisites can be found in the INSTALL file, which is provided in the source code distribution. The integrated model checker tests provide the basic usage examples.
Appears in 1 contract
Sources: Grant Agreement