BPpyModelChecker

Note: the project was implemented and tested on Python 3.7.16

Installation and Usage

1. Clone the project :

   git clone https://github.com/tomyaacov/BPpyModelChecker.git

2. Set an anvironment to run the code. There are 2 options:

   1. Using docker:

          docker pull tomyaacov/bppy-pynusmv:latest

   2. Using a virtual environment:

          cd BPpyModelChecker
          python -m venv env 
          source env/bin/activate
          pip install --upgrade pip
          pip install -r requirements.txt

3. Run examples:

   python main.py hot_cold1 3 1

    python main.py hot_cold2 3 1

    python main.py dining_philosophers1 2

    python main.py dining_philosophers2 2