Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic-Reference-Cited by-同舟云学术

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic

Published: Issue: Volume: Page:137-152
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Goubault Eric,Putot Sylvie

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74061-2_9.pdf

Reference17 articles.

1. Chapoutot, A., Martel, M.: Différentiation automatique et formes de Taylor en analyse statique de programmes numériques (in French). In: AFADL 2007 (2007)

2. Lecture Notes in Computer Science;A. Costan,2005

3. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages 4, 238–252 (1977)

4. Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation 2(4), 511–547 (1992)

5. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: POPL 1978, pp. 84–97 (1978)

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

1. Comparison of Higher-Order Approximations to Solve Dynamical Systems Using Interval Constraint Solving;Communications in Computer and Information Science;2022

2. Solving Dynamical Systems Using Windows of Sliding Subproblems;Communications in Computer and Information Science;2021

3. Constraint-Based Framework for Reasoning with Differential Equations;Cyber-Physical Systems Security;2018

4. Forward Inner-Approximated Reachability of Non-Linear Continuous Systems;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13

5. Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT;Static Analysis;2013