基于特征的工作流组合的形式验证

斯蒂芬·阿德尔斯伯格,巴沙尔·伊格瑞德,马库斯·莫瑟,瓦迪姆·萨文科夫,安东·塞泽尔.基于特征的工作流组合的形式验证.第14届欧洲可靠计算会议,2018年EDCC,Iași,罗马尼亚,2018年9月10日至14日.173-181IEEE计算机学会,2018 [美国国防部]

摘要

缺少摘要。