GitHub repository: DARA-Project/dara
Primary language: Go
Description: Contains the model inference, model refinement, the abstract model checker, and trace filtering pieces of Dara.