The VerCors Tool - verifying concurrent programs

Installation Instructions

  • MacOS
  • Linux
  • Windows
             

Requirements:

  • Be sure to have installed Homebrew
  • $ brew tap homebrew/cask-versions
  • $ brew cask install java8
  • $ brew install ant

Building:

For a basic build of VerCors the following steps should be taken:

  1. Clone the VerCors repository using $ git clone https://github.com/utwente-fmt/vercors.git and move into the cloned directory, $ cd vercors
  2. Create symbolic links to link the Viper modules, as described on the vercors/viper page. Users with a Unix system can also use the travis_build.sh script to create symbolic links and install VerCors by running $ sh travis_build.sh from the project's root directory.
  3. Build VerCors with Ant by running $ ant clean followed by $ ant
  4. Test whether the build was successful by running $ ./unix/bin/vct --test=examples/manual --tool=silicon --lang=pvl,java

The last command tests the VerCors installation by verifying a large collection of examples (from the ./examples directory). This command should eventually report that $ all ? tests passed

The VerCors toolset can be installed on Windows (via Cygwin). When using Windows make sure that the environment variable JAVA_HOME is configured.

Requirements:

For a basic build of VerCors the following steps should be taken:

  1. Clone the VerCors repository using $ git clone https://github.com/utwente-fmt/vercors.git and move into the cloned directory, $ cd vercors
  2. Create symbolic links to the viper modules by running $ sh travis_build.sh from the project's root directory.
  3. Build VerCors with Ant by running $ ant clean followed by $ ant
  4. Test whether the build was successful by running $ ./unix/bin/vct --test=examples/manual --tool=silicon --lang=pvl,java

The last command tests the VerCors installation by verifying a large collection of examples (from the ./examples directory). This command should eventually report that $ all ? tests passed

Read our documentation for detailed features and customization

Documentation