Home - lpzun/cuba GitHub Wiki

Introduction

CUBA (Context-UnBounded Analysis for Concurrent Software) is a tool that performs context-unbounded analysis for concurrent programs.

Get Started

Source Code

• Is here on github.

REMARK: master is the official branch. All new contributions including bugfixes are added to master directly. Branch develop that contains non-stable but latest commits.

Assuming you have downloaded CUBA, then

make

Contribute

Peizun Liu and Thomas Wahl are the main contributors. Peizun Liu is the main developer.

License

The CUBA downloads on this site are available from github under the MIT license.

Support or Contact

Having trouble with Pages? Check out our documentation or contact support and we’ll help you sort it out.