Model Checking Distributed Applications
C++ Shell C LLVM Makefile
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
docs
downloads
examples
simulation
src
INSTALL.txt
LICENSE.txt
Makefile
README.txt
VERSION.txt
default.features
doxygen_help_gen.mpb
mcda.mpc
mcda.mwc
using_ace.mpb
using_boost.mpb
using_madara.mpb
using_mcda.mpb

README.txt

INTRODUCTION

Welcome to the Model Checking for Distributed Applications code repository!

The MCDA project attempts to formally verify the correctness, safety or
other critical properties of distributed algorithm implementations, before
they are deployed. Our current approach involves sequentialization techniques
to analyze the structure of a program and its execution mechanics for each
participant in the networked application.

LICENSE.txt : License for this software.

INSTALL.txt: Compiling and Installation instructions.

DIRECTORIES

  /simulation
  
  The simulation directory contains code to run VREP simulations of the area
  coverage.
  
  /examples

  Contains various examples used to drive our work. This is very much
  a scratch area.

  /tools

  Contains tools such as the dasl compiler and daig