Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Compiler for Sound Floating-Point Computations using Affine Arithmetic;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02
2. An Interval Compiler for Sound Floating-Point Computations;2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2021-02-27
3. Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration;Journal of Automated Reasoning;2020-05-29