GitHub repository: sohaibayub/OCCAM
Primary language: C++
Description: OCCAM: Object Culling and Concretization for Assurance Maximization