Artifact:
CUBA: Interprocedural Context-Unbounded Analysis of Concurrent Programs
The artifact includes:
1. Tool
- The source code.
- Executable binaries.
- An installation guide.
- Documentation.
2. Input Syntax
- A brief introduction to the syntax used in our input programs.
3. Tutorial
- A brief tutorial.
4. Benchmarks
- A set of benchmarks used.