Funder
European Research Council
Schweizerische Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Reference22 articles.
1. C. Barrett A. Stump and C. Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org 2010. C. Barrett A. Stump and C. Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org 2010.
2. An overview of the Leon verification system
3. The Euclidean definition of the functions div and mod
4. Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. System FR: formalized foundations for the stainless verifier;Proceedings of the ACM on Programming Languages;2019-10-10
2. SMT-based checking of predicate-qualified types for Scala;Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala;2016-10-30