共 30 条
[1]
Amjad H, 2003, LECT NOTES COMPUT SC, V2758, P171
[2]
[Anonymous], 2006, Technical Report
[3]
[Anonymous], 2010, LMCS
[4]
Armand M., 2011, PSATTT 2011 INT WORK
[5]
Barrett Clark, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P171, DOI 10.1007/978-3-642-22110-1_14
[6]
Blazy S, 2013, LECT NOTES COMPUT SC, V7935, P324, DOI 10.1007/978-3-642-38856-9_18
[7]
Bobot Francois, 2008, The Alt-Ergo automated theorem prover
[8]
Conchon Sylvain, 2012, Computer Aided Verification. Proceedings 24th International Conference, CAV 2012, P718, DOI 10.1007/978-3-642-31424-7_55
[9]
Conchon S, 2013, 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), P61
[10]
Z3: An efficient SMT solver
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS,
2008, 4963
:337-340