Author:
Reynolds Andrew,Kuncak Viktor
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. SMT-LIB theories (2014),
http://smtlib.cs.uiowa.edu/theories.shtml
.
2. Z3 will not prove inductive facts (September 2014),
http://rise4fun.com/z3/tutorial
.
3. Lecture Notes in Computer Science;C. Barrett,2011
4. Barrett, C., Shikanian, I., Tinelli, C.: An abstract decision procedure for satisfiability in the theory of recursive data types. Electronic Notes in Theoretical Computer Science (2007)
5. Bundy, A.: The automation of proof by mathematical induction. In: Handbook of Automated Reasoning. vol. 1, ch. 13, Elsevier and The MIT Press (2001)
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献