degas-开源

【文件属性】：

文件名称：degas-开源

文件大小：5KB

文件格式：GZ

更新时间：2024-06-03 17:58:09

开源软件

离散事件Gnu高级计划，用于插件替换与pthread兼容的应用程序。 生成适合离散事件模拟和形式验证的确定性执行运行。

【文件预览】：
buildstub.sh
build.sh
degas.c