-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Peizun Liu edited this page Jan 29, 2018
·
5 revisions
CUBA (Context-UnBounded Analysis for Concurrent Software) is a tool that performs context-unbounded analysis for concurrent programs.
- 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
Peizun Liu and Thomas Wahl are the main contributors. Peizun Liu is the main developer.
The CUBA downloads on this site are available from github under the MIT license.
Having trouble with Pages? Check out our documentation or contact support and we’ll help you sort it out.