项目描述 ：
SaverECS : A safety verification tool for verification of embedded control software running in closed-loop with plants, under perturbations and different scheduling scenarios.

高级语言： SMT

项目主页：

项目地址: git://github.com/saverecs/SaverECS.git

创建时间： 2020-07-01T17:49:24Z
项目社区：https://github.com/saverecs/SaverECS
开源协议：
下载