假设SpaceEx中的保证抽象精化
目录
概述
下载
64位SpaceEx二进制文件,支持AGAR和必要的库 装置和控制器的模型 运行每个样本的脚本
工具书类
塞尔吉·博戈莫洛夫(Sergiy Bogomolov)、戈兰·弗雷泽(Goran Frehse)、马吕斯·格雷楚斯(Marius Greitschus)、拉杜·格罗苏(Radu Grosu)、科琳娜·帕萨雷努(Corina Pasarenu)、安德烈亚斯·波德尔斯基(Andreas。 “假设保证抽象精炼满足混合系统”,HVC2014[ 弹簧工 | 数据库许可证 | pdf格式 ].