The octagon abstract domain-Reference-Cited by-同舟云学术

The octagon abstract domain

Published:2006-03 Issue:1 Volume:19 Page:31-100
ISSN:1388-3690
Container-title:Higher-Order and Symbolic Computation
language:en
Short-container-title:Higher-Order Symb Comput

Author:

Miné Antoine

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software

Link

http://link.springer.com/content/pdf/10.1007/s10990-006-8609-1.pdf

Reference54 articles.

1. 1. ACI Sécurité & Informatique. Analyse de PROgrammes Numériques. http://www.cri.ensmp.fr/apron/

2. 2. Airbus. http://www.airbus.com/

3. 3. Astrée. Analyse Statique de logiciels Temps-Réel embarqués (static analysis of critical real-time embedded software) analyzer page. http://www.astree.ens.fr/

4. 4. Bagnara, R.: Data-Flow Analysis for Constraint Logic-Based Languages. PhD thesis, Dipartimento di Informatica, Universitá di Pisa, Corso Italia 40, I-56125 Pisa, Italy (1997)

5. 5. Bagnara, R., Hill, P.M., Mazzi, E., Zaffanella, E.: Widening operators for weakly-relational numeric abstractions. Quaderno 399, Dipartimento di Matematica, Universitá di Parma, Italy (2005)

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

1. Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers;International Journal on Software Tools for Technology Transfer;2024-07-29

2. Floating-Point TVPI Abstract Domain;Proceedings of the ACM on Programming Languages;2024-06-20

3. The hexatope and octatope abstract domains for neural network verification;Formal Methods in System Design;2024-06-17

4. Non-numerical weakly relational domains;International Journal on Software Tools for Technology Transfer;2024-06-14

5. Limits and Difficulties in the Design of Under-Approximation Abstract Domains;ACM Transactions on Programming Languages and Systems;2024-06-09