Détection des fonctions de rang linéaires à terme
File attachments:
Eventual Linear Ranking Functions
| Title | Eventual Linear Ranking Functions |
| Publication Type | Conference Paper |
| Authors | Bagnara R, Mesnard F |
| Editor | Peña R, Schrijvers T |
File attachments:
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
File attachments:
Coding Guidelines for {Prolog}
| Title | Coding Guidelines for {Prolog} |
| Publication Type | Journal Article |
| Authors | Covington MA, Bagnara R, O’Keefe RA, Wielemaker J, Price S |
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
| Title | The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version |
| Publication Type | Journal Article |
| Authors | Bagnara R, Mesnard F, Pescetti A, Zaffanella E |
File attachments:
A New Look at the Automatic Synthesis of Linear Ranking Functions
| Title | A New Look at the Automatic Synthesis of Linear Ranking Functions |
| Publication Type | Journal Article |
| Authors | Bagnara R., Mesnard F., Pescetti A., Zaffanella E. |
File attachments:
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
| Title | Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
File attachments:
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
| Title | Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
File attachments:
Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness
| Title | Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
File attachments:
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
File attachments:
- 1 of 5
- next ›