Author:
Brain Martin,Schanda Florian,Sun Youcheng
Publisher
Springer International Publishing
Reference59 articles.
1. IEEE standard for floating-point arithmetic. IEEE Std 754-2008, pp. 1–70, August 2008.
https://doi.org/10.1109/IEEESTD.2008.4610935
2. AdaCore: CodePeer.
https://www.adacore.com/codepeer
3. Altran, AdaCore: SPARK 2014.
https://adacore.com/sparkpro
4. Bagnara, R., Carlier, M., Gori, R., Gotlieb, A.: Filtering floating-point constraints by maximum ULP (2013).
https://arxiv.org/abs/1308.3847v1
5. Barr, E.T., Vo, T., Le, V., Su, Z.: Automatic detection of floating-point exceptions. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, pp. 549–560. ACM, New York (2013).
https://doi.org/10.1145/2429069.2429133
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories;Proceedings of the ACM on Programming Languages;2024-06-20
2. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY;International Journal on Software Tools for Technology Transfer;2023-03-08
3. Algorithm selection for SMT;International Journal on Software Tools for Technology Transfer;2023-02-15
4. Bitwuzla;Computer Aided Verification;2023
5. Symbolic Execution of Floating-point Programs: How far are we?;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12