remmex
------

Copyright (C) 2010-2013 Université de Liège

This package contains a model-checking tool for safety-property verification of programs executed on processors implementing the TSO or PSO memory model.

For more information, see http://www.montefiore.ulg.ac.be/~linden

The package uses the brics automaton package of Anders Moeller (amoeller@cs.au.dk), see http://www.brics.dk/automaton/ for more information.

Contents:
remmex-jar ->
  - remmex.jar: the jar file
  - run_test.sh: script for launching all test cases. "./run_test.sh"
  - test_cases_jar.txt: textfile containing command lines for all test cases (except for the bounded Bakery, because this case needs a 12 GB RAM, which is not standard on all computers, but which can easily been added).
  - testcases (directory): the input files of the test cases


Alexander Linden
linden@montefiore.ulg.ac.be
