GitHub repository: saverecs/SaverECS
Primary language: SMT
Created: 2020-07-01T17:49:25Z
Description: SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.