scholarly journals Apron: A Library of Numerical Abstract Domains for Static Analysis

2009 ◽  
pp. 661-667 ◽  
Author(s):  
Bertrand Jeannet ◽  
Antoine Miné
Keyword(s):  
Static Analysis ◽  
Numerical Abstract Domains ◽  
Abstract Domains

Verification of Non-Functional Requirements by Abstract Interpretation

2012 ◽  
pp. 22-35
Author(s):  
Agostino Cortesi ◽  
Francesco Logozzo
Keyword(s):  
Static Analysis ◽  
Abstract Interpretation ◽  
Software Requirements ◽  
Functional Requirements ◽  
Formal Approach ◽  
Space Efficiency ◽  
Source Program ◽  
Service Oriented ◽  
Abstract Domains ◽  
Functional Software

This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpretation-based static analysis of the source program, and by a suitable choice of abstract domains, it is possible to design formal and effective tools for non-functional requirements validation.

scholarly journals A practical construction for decomposing numerical abstract domains

2018 ◽  
Vol 2 (POPL) ◽  
pp. 1-28 ◽  
Author(s):  
Gagandeep Singh ◽  
Markus Püschel ◽  
Martin Vechev
Keyword(s):  
Numerical Abstract Domains ◽  
Abstract Domains

A suite of abstract domains for static analysis of string values

2013 ◽  
Vol 45 (2) ◽  
pp. 245-287 ◽  
Author(s):  
Giulia Costantini ◽  
Pietro Ferrara ◽  
Agostino Cortesi
Keyword(s):  
Static Analysis ◽  
Abstract Domains

Several lifted abstract domains for static analysis of numerical program families

2021 ◽  
pp. 102725
Author(s):  
Aleksandar S. Dimovski ◽  
Sven Apel ◽  
Axel Legay
Keyword(s):  
Static Analysis ◽  
Abstract Domains ◽  
Numerical Program
Sign in / Sign up

Export Citation Format

Share Document