Symbolic optimization with SMT solvers-Reference-Cited by-同舟云学术

Symbolic optimization with SMT solvers

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Li Yi¹,Albarghouthi Aws¹,Kincaid Zachary¹,Gurfinkel Arie²,Chechik Marsha¹

Affiliation:

1. University of Toronto, Toronto, ON, Canada

2. Carnegie Mellon University, Pittsburgh, ON, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2535838.2535857

Reference61 articles.

1. Competition On Software Verification - (SV-COMP). http://sv-comp.sosy-lab.org. Competition On Software Verification - (SV-COMP). http://sv-comp.sosy-lab.org.

2. Yices SMT Solver. http://yices.csl.sri.com. Yices SMT Solver. http://yices.csl.sri.com.

3. Z3 Source Code Repository. http://z3.codeplex.com/. Z3 Source Code Repository. http://z3.codeplex.com/.

4. Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification

Cited by 84 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rapid Taint Assisted Concolic Execution (TACE);Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

2. Control design of discrete-time unicycle model using satisfiability modulo theory;Systems Science & Control Engineering;2024-02-22

3. ShadowBug: Enhanced Synthetic Fuzzing Benchmark Generation;IEEE Open Journal of the Computer Society;2024

4. Generalized Optimization Modulo Theories;Lecture Notes in Computer Science;2024

5. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11