An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints-Reference-Cited by-同舟云学术

An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints

Published:2007 Issue: Volume: Page:268-282
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Péron Mathias,Halbwachs Nicolas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69738-1_20

Reference30 articles.

1. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation 104(1), 2–34 (1993)

2. Bourdoncle, F.: Abstract debugging of higher-order imperative languages. In: PLDI’93, pp. 46–55. ACM, New York (1993)

3. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: 2nd Int. Symp. on Programming, pp. 106–130. Dunod, Paris (1976)

4. Clarisó, R.C., Cortadella, J.: Verification of parametric timed circuits using octahedra. In: Designing correct circuits, DCC’04, Barcelona (2004)

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

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

1. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023

2. Octagons Revisited;Static Analysis;2023

3. Controller Synthesis for Timeline-based Games;Electronic Proceedings in Theoretical Computer Science;2022-09-20

4. Tropical Abstractions of Max-Plus Linear Systems;Lecture Notes in Computer Science;2018

5. Temporal Constraints;Encyclopedia of Database Systems;2018