基于逻辑的形式化验证方法: 进展及应用

基于逻辑的形式化验证方法: 进展及应用

陈钢, 于林宇, 裘宗燕, 王颖

Logic Based Formal Verification Methods: Progress and Applications

CHEN Gang, YU Linyu, QIU Zongyan, WANG Ying

北京大学学报（自然科学版） . 2016, (2): 363 -373 . DOI: 10.13209/j.0479-8023.2015.131