Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra-Reference-Cited by-同舟云学术

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra

Published:2005 Issue: Volume: Page:19-34
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Bagnara Roberto,Rodríguez-Carbonell Enric,Zaffanella Enea

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11547662_4.pdf

Reference34 articles.

1. Bagnara, R.: Data-Flow Analysis for Constraint Logic-Based Languages. PhD thesis, Dipartimento di Informatica, Università di Pisa, Pisa, Italy (March 1997)

2. Lecture Notes in Computer Science;R. Bagnara,2003

3. Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. Science of Computer Programming (2005) (to appear)

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

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

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

1. When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic;Proceedings of the ACM on Programming Languages;2023-01-09

2. Scalable linear invariant generation with Farkas’ lemma;Proceedings of the ACM on Programming Languages;2022-10-31

3. Affine Loop Invariant Generation via Matrix Algebra;Computer Aided Verification;2022

4. Polynomial invariant generation for non-deterministic recursive programs;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06

5. Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis;Static Analysis;2020