Author:
Damouche Nasrine,Martel Matthieu,Panchekha Pavel,Qiu Chen,Sanchez-Stern Alexander,Tatlock Zachary
Publisher
Springer International Publishing
Reference25 articles.
1. DIMACS challenge. Satisfiability. Suggested format (1993). http://www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/satformat.ps
2. Lecture Notes in Computer Science;A Adjé,2015
3. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.5. Technical report, Department of Computer Science, The University of Iowa (2015). www.SMT-LIB.org
4. Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X.: Static analysis and verification of aerospace software by abstract interpretation. Found. Trends Program. Lang. 2(2–3), 71–190 (2015)
5. Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., Engler, D.: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2), 66–75 (2010)
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0;Lecture Notes in Computer Science;2024-09-13
2. Numerical Fuzz: A Type System for Rounding Error Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
3. Floating-Point TVPI Abstract Domain;Proceedings of the ACM on Programming Languages;2024-06-20
4. VCFloat2: Floating-Point Error Analysis in Coq;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
5. AMPT: Automatic Mixed-Precision Tuning Based on Accuracy Gain;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04