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 |
Title | On the Design of Generic Static Analyzers for Imperative Languages |
Publication Type | Miscellaneous |
Authors | Bagnara R, Hill PM, Pescetti A, Zaffanella E |
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 |
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 |
Title | Widening Operators for Powerset Domains |
Publication Type | Journal Article |
Authors | Bagnara R, Hill PM, Zaffanella E |
Title | Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation |
Publication Type | Journal Article |
Authors | Bagnara R, Zaffanella E, Hill PM |
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 |
Title | Not Necessarily Closed Convex Polyhedra and the Double Description Method |
Publication Type | Journal Article |
Authors | Bagnara R, Hill PM, Zaffanella E |