共 12 条
[1]
[Anonymous], Rust Language
[2]
Barrett C., 2016, The Satisfiability Modulo Theories Library (SMT-LIB)
[3]
Bjorner N., 2012, P SMT IJCAR, P3
[4]
Horn Clause Solvers for Program Verification
[J].
FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY,
2015, 9300
:24-51
[5]
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT I,
2018, 10805
:365-384
[6]
Z3: An efficient SMT solver
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS,
2008, 4963
:337-340
[8]
Garg P, 2014, LECT NOTES COMPUT SC, V8559, P69, DOI 10.1007/978-3-319-08867-9_5
[9]
Hoder Krystof, 2012, Theory and Applications of Satisability Testing-SAT 2012, P157, DOI [10.1007/978-3-642-31612-813, DOI 10.1007/978-3-642-31612-813]
[10]
Hojjat Hossein, 2012, FM 2012: Formal Methods. Proceedings of the 18th International Symposium, P247, DOI 10.1007/978-3-642-32759-9_21