On the Design of Generic Static Analyzers for Imperative Languages
| Title | On the Design of Generic Static Analyzers for Imperative Languages |
| Publication Type | Miscellaneous |
| Authors | Bagnara R, Hill PM, Pescetti A, Zaffanella E |
File attachments:
The {Parma Polyhedra Library}: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems
| Title | The {Parma Polyhedra Library}: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
File attachments:
Grids: A Domain for Analyzing the Distribution of Numerical Values
File attachments:
Verification of {C} Programs Via Natural Semantics and Abstract Interpretation
| Title | Verification of {C} Programs Via Natural Semantics and Abstract Interpretation |
| Publication Type | Conference Paper |
| Authors | Bagnara R, Hill PM, Pescetti A, Zaffanella E |
| Editor | Tews H |
Widening Operators for Powerset Domains
| Title | Widening Operators for Powerset Domains |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
File attachments:
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
| Title | Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra |
| Publication Type | Conference Paper |
| Authors | Bagnara R, Rodríguez-Carbonell E, Zaffanella E |
| Editor | Hankin C, Siveroni I |
File attachments:
Not Necessarily Closed Convex Polyhedra and the Double Description Method
| Title | Not Necessarily Closed Convex Polyhedra and the Double Description Method |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Zaffanella E |
File attachments:
Precise Widening Operators for Convex Polyhedra
| Title | Precise Widening Operators for Convex Polyhedra |
| Publication Type | Journal Article |
| Authors | Bagnara R, Hill PM, Ricci E, Zaffanella E |
File attachments:
cTI: A Constraint-Based Termination Inference Tool for {ISO-Prolog}
File attachments:
- ‹ previous
- 2 of 5
- next ›