共 15 条
- [1] Barrett Clark, 2007, LNCS, P298
- [2] BEYER D, 2007, INT C COMP AID VER, V4590, P504
- [4] Brummayer R, 2009, LECT NOTES COMPUT SC, V5505, P174, DOI 10.1007/978-3-642-00768-2_16
- [6] Cimatti A, 2013, LECT NOTES COMPUT SC, V7795, P93
- [8] Cousot P, 2002, LECT NOTES COMPUT SC, V2304, P159
- [9] Z3: An efficient SMT solver [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 337 - 340
- [10] Dutertre Bruno., 2006, The yices smt solver, V2, P2