GitHub repository: AdaCore/RESSAC_Use_Case
Primary language: Ada
Description: A Collaborative Development Assurance Lab