scholarly journals Widening Operators for Weakly-Relational Numeric Abstractions

2005 ◽  
pp. 3-18 ◽  
Author(s):  
Roberto Bagnara ◽  
Patricia M. Hill ◽  
Elena Mazzi ◽  
Enea Zaffanella
Keyword(s):  
Widening Operators

scholarly journals Widening operators for powerset domains

2007 ◽  
Vol 9 (3-4) ◽  
pp. 413-414 ◽  
Author(s):  
Roberto Bagnara ◽  
Patricia M. Hill ◽  
Enea Zaffanella
Keyword(s):  
Widening Operators

scholarly journals Precise widening operators for convex polyhedra

2005 ◽  
Vol 58 (1-2) ◽  
pp. 28-56 ◽  
Author(s):  
Roberto Bagnara ◽  
Patricia M. Hill ◽  
Elisa Ricci ◽  
Enea Zaffanella
Keyword(s):  
Convex Polyhedra ◽  
Widening Operators

scholarly journals Precise Widening Operators for Convex Polyhedra

2003 ◽  
pp. 337-354 ◽  
Author(s):  
Roberto Bagnara ◽  
Patricia M. Hill ◽  
Elisa Ricci ◽  
Enea Zaffanella
Keyword(s):  
Convex Polyhedra ◽  
Widening Operators

Widening operators for powerset domains

2006 ◽  
Vol 8 (4-5) ◽  
pp. 449-466 ◽  
Author(s):  
Roberto Bagnara ◽  
Patricia M. Hill ◽  
Enea Zaffanella
Keyword(s):  
Widening Operators

Widening Operators for Powerset Domains

2004 ◽  
pp. 135-148 ◽  
Author(s):  
Roberto Bagnara ◽  
Patricia M. Hill ◽  
Enea Zaffanella
Keyword(s):  
Widening Operators

scholarly journals Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis

10.29007/rls3 ◽  
2018 ◽  
Author(s):  
Kengo Kido ◽  
Swarat Chaudhuri ◽  
Ichiro Hasuo
Keyword(s):  
Hybrid Systems ◽  
Static Analysis ◽  
Abstract Interpretation ◽  
Analysis Program ◽  
Deductive Verification ◽  
Prototype Implementation ◽  
Hybrid Dynamics ◽  
Verification Tools ◽  
Widening Operators ◽  
Theoretical Results

Towards the goal of correctness and reliability of hybrid systems, we continue our nonstandard static analysis program (with Suenaga and Sekine) where hybrid dynamics is turned into purely discrete one with explicit use of infinitesimals. While our previous results have focused on deductive verification by program logics, the current work aims at automation and enhanced scalability by extending abstract interpretation—a technique known for its ample scalability and widespread use in various verification tools—with infinitesimals. Our theoretical results include soundness and termination via uniform widening operators; and our prototype implementation successfully verifies some benchmark examples.

scholarly journals A minimalistic look at widening operators

2009 ◽  
Vol 22 (2) ◽  
pp. 145-154 ◽  
Author(s):  
David Monniaux
Keyword(s):  
Widening Operators
Sign in / Sign up

Export Citation Format

Share Document