zbMATH中的参考文献（参考文献644篇,3标准条款)

1. 同步数据流的形式化验证（使用Lustine 2021）
2. 卡塞兹，弗朗克；詹森，彼得·居尔；Guldstrand，Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合（2021）
3. 克莱门特，洛伦佐；Lasota，Sławomir:定时下推自动机的可达关系（2021）
4. 陆志浩；王瑞；孔辉；关勇；石志平：托勒密离散事件模型（2021）的形式化验证
5. 曼奇尼，托尼；玛丽，费德里科；马西尼，安娜丽莎；伊戈尔，梅拉蒂；恩里科·特隆奇：关于模拟脚本等价性的检验（2021）
6. Szymoniak，Sabina:包括各种时间参数的安全协议分析（2021）
7. 谢婉玲；朱惠标；徐启文：移动系统的过程演算及其形式语义（2021）
8. 阿曼，博格丹；Ciobanu，Gabriel:带定时迁移和定时通信的多智能体系统中的雇佣成本（2020）
9. 巴雷西，L。；贝尔萨尼，医学硕士。；马可尼，F。；夸特罗奇，G。；Rossi，M.：使用形式验证来评估Spark应用程序的执行时间（2020年）
10. 贝尔萨尼，马塞洛M。；索尔多，马特奥；孟吉，克劳迪奥；佩利西翁，帕特里齐奥；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
11. 法伦堡，乌利；勒盖，阿克塞尔；夸斯，卡林：用定量博弈计算分支距离（2020）
12. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；Norman，Gethin:自治系统控制器综合的协作模型（2020）
13. 盖纳，保罗；林克，斯文；狄克逊，克莱尔；赫斯特，乌尔里希；Fisher，Michael:分布式同步的多尺度验证（2020）
14. Glonina，A.B.：用于测试模块化计算系统配置的实时约束的工具系统（2020）
15. 古铁雷斯，朱利安；纳吉布，穆罕默德；佩雷利，朱塞佩；伍尔德里奇，迈克尔：自动时间均衡分析：多人游戏的验证和综合（2020）
16. Kölbl，马丁；卢伊，斯特凡；Wies，Thomas:TarTar:定时自动修复工具（2020）
17. 梅斯特尔，大卫；Roscoe，A.W.：并发模型之间的转换（2020）
18. 山丹雅古比，边缘；诺德，奥利维尔；戈达里·德让，凯伦；Crestani，Didier:模型检验精确农业物流：差异收获案例（2020）
19. 安德烈，爱蒂安；杰瑞，杰威尔；Mhiri，Sahar:Time4sys2imi：一种在不确定性下正式化实时系统模型的工具（2019）
20. Murgia，Maurizio:异步定时会话类型的输入紧急语义（2019）