相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Interpolating Strong Induction
Hari Govind Vediramana Krishnan et al.
COMPUTER AIDED VERIFICATION, CAV 2019, PT II (2019)
Integrated formal verification of safety-critical software
Ning Ge et al.
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2018)
The JKIND Model Checker
Andrew Gacek et al.
COMPUTER AIDED VERIFICATION, CAV 2018, PT II (2018)
The KIND 2 Model Checker
Adrien Champion et al.
COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II (2016)
Non-prenex QBF Solving Using Abstraction
Leander Tentrup
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016 (2016)
Horn Clause Solvers for Program Verification
Nikolaj Bjorner et al.
FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY (2015)
Certificates for Parameterized Model Checking
Sylvain Conchon et al.
FM 2015: FORMAL METHODS (2015)
Model checking of safety-critical software in the nuclear engineering domain
J. Lahtinen et al.
RELIABILITY ENGINEERING & SYSTEM SAFETY (2012)