@收款{zbMATH07666542，作者＝{Iosif，Radu}，标题={使用分离逻辑进行程序验证}，BookTitle={模型检查软件。第25届国际研讨会，SPIN 2018，马拉加，西班牙，2018年6月20-22日。诉讼}，国际标准图书编号={978-3-319-94110-3；978-3-3169-94111-0}，页码={48--62}，年份={2018年}，出版商＝{Cham:S普林格}，语言={英语}，DOI={10.1007/978-3-319-94111-0_3}，关键词={68N30,03B70,68Q60}，zbMATH={7666542}，Zbl={1508.68062}}