Software verification acceleration by integrating theorem proving and model checking
Release Time:2022-11-02 Hits:
Date of Publication: 2022-10-08
Journal: 东北大学学报 自然科学版
Volume: 35
Page Number: 13-18
ISSN: 1005-3026
Release Time:2022-11-02 Hits:
Date of Publication: 2022-10-08
Journal: 东北大学学报 自然科学版
Volume: 35
Page Number: 13-18
ISSN: 1005-3026