Scalable Analysis of Linear Systems Using Mathematical Programming-Reference-Cited by-同舟云学术

Scalable Analysis of Linear Systems Using Mathematical Programming

Published:2005 Issue: Volume: Page:25-41
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Sankaranarayanan Sriram,Sipma Henny B.,Manna Zohar

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30579-8_2.pdf

Reference15 articles.

1. Lecture Notes in Computer Science;R. Bagnara,2002

2. Lecture Notes in Computer Science;S. Bardin,2003

3. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: ACM SIGPLAN PLDI 2003, vol. 548030, pp. 196–207. ACM Press, New York (2003)

4. Lecture Notes in Computer Science;R. Clarisó,2004

5. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the Second International Symposium on Programming, Dunod, Paris, France, pp. 106–130 (1976)

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

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

2. An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15

3. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. Octagons Revisited;Static Analysis;2023

5. BullsEye : Scalable and Accurate Approximation Framework for Cache Miss Calculation;ACM Transactions on Architecture and Code Optimization;2022-11-17