DiVinE

Legacy documentation This page describes a service provided by a retired ACENET system. Most ACENET services are currently provided by national systems, for which please visit https://docs.computecanada.ca.

Description

A distributed verification environment to support verification and analysis of large-scale computer systems on parallel architectures.

Modulefile

divine

Documentation

DiVinE homepage

Usage

Here is an example of a submission script:

#$ -cwd
#$ -l h_rt=01:00:00

module purge
module load gcc openmpi/gcc divine

divine owcty input.dve

Here is another one to run with MPI:

#$ -cwd
#$ -l h_rt=01:00:00
#$ -pe ompi* 4

module purge
module load gcc openmpi/gcc divine

mpirun divine owcty input.dve