BigMC -- Bigraphical Model Checker

• Home
• Manual
• GitHub

2 Obtaining BigMC

The latest version of BigMC will always be available from the primary project website:

• Download BigMC-20120807 (zip, latest as of 16 October 2012):

  https://github.com/bigmc/bigmc/zipball/bigmc-20120807

The latest version of this manual is available in PDF format from

http://bigraph.org/bigmc/bigmc.pdf

or in HTML format from:

http://bigraph.org/bigmc/manual.

2.1 Installation

BigMC uses a standard GNU Autoconf/Automake setup. You will need a Unix-like environment — the current release is known to work on MacOS X 10.6, MacOS X 10.7 and recent version of Debian and Ubuntu.

If you're lucky, the following procedure will install everything to /usr/local/bigmc/:

     tar -xzf bigmc-20110810.tar.gz
     cd bigmc-20110810/
     ./configure
     make
     sudo make install

The build process relies on the presence of the following:

• A C++ compiler (tested with The GNU C++ compiler g++, version 4.0 or greater)
• GNU Make
• GNU Readline

Highly recommended:

• Google-Perftools

Finally, it is recommended that you add something like the following to your .profile:

     export PATH=/usr/local/bigmc/bin:$PATH
     export BIGMC_HOME=/usr/local/bigmc

All going well, you should be able to just invoke BigMC using the command:

     $ bigmc

2.2 Configuration

The configuration file /usr/local/bigmc/conf/bigmc.conf contains predicate definitions that point to the dynamically loadable modules that implement them. If you wish to add new predicates, you will need to add them to this configuration file.