Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,174,220 papers from all fields of science
Search
Sign In
Create Free Account
Abstract interpretation
Known as:
Abstract reduction
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
Abstraction (software engineering)
Astrée (static analysis)
CPAchecker
Expand
Broader (1)
Program analysis
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Timon Gehr
,
M. Mirman
,
Dana Drachsler-Cohen
,
Petar Tsankov
,
Swarat Chaudhuri
,
Martin T. Vechev
IEEE Symposium on Security and Privacy (SP)
2018
Corpus ID: 206579396
We present AI2, the first sound and scalable analyzer for deep neural networks. Based on overapproximation, AI2 can automatically…
Expand
Highly Cited
2018
Highly Cited
2018
Differentiable Abstract Interpretation for Provably Robust Neural Networks
M. Mirman
,
Timon Gehr
,
Martin T. Vechev
ICML
2018
Corpus ID: 51872670
We introduce a scalable method for training robust neural networks based on abstract interpretation. We present several abstract…
Expand
Review
2010
Review
2010
Static Contract Checking with Abstract Interpretation
Manuel Fähndrich
,
F. Logozzo
FoVeOOS
2010
Corpus ID: 25474143
We present an overview of Clousot, our current tool to statically check CodeContracts. CodeContracts enable a compiler and…
Expand
Highly Cited
2009
Highly Cited
2009
Verification, Model Checking, and Abstract Interpretation
Jan Maluszy¿ski
Lecture Notes in Computer Science
2009
Corpus ID: 6737483
This chapter contains sections titled: Organizing Committee, Motivations and Goals, Contributions, Proceedings
Highly Cited
2005
Highly Cited
2005
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Laurent Mauborgne
,
Xavier Rival
ESOP
2005
Corpus ID: 7026907
When designing a tractable static analysis, one usually needs to approximate the trace semantics. This paper proposes a…
Expand
Highly Cited
2000
Highly Cited
2000
Making abstract interpretations complete
R. Giacobazzi
,
Francesco Ranzato
,
Francesca Scozzari
JACM
2000
Corpus ID: 207644655
Completeness is an ideal, although uncommon, feature of abstract interpretations, formalizing the intuition that, relatively to…
Expand
Highly Cited
1997
Highly Cited
1997
Abstract interpretation of reactive systems
D. Dams
,
R. Gerth
,
O. Grumberg
TOPL
1997
Corpus ID: 795222
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication…
Expand
Highly Cited
1992
Highly Cited
1992
Abstract Interpretation Frameworks
P. Cousot
,
R. Cousot
J. Log. Comput.
1992
Corpus ID: 6384543
Interpretation Frameworks Patrick Cousot LIENS, Ecole Normale Superieure 45, rue d’Ulm 75230 Paris cedex 05 (France) cousot@dmi…
Expand
Highly Cited
1992
Highly Cited
1992
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
P. Cousot
,
R. Cousot
PLILP
1992
Corpus ID: 8399250
The use of infinite abstract domains with widening and narrowing for accelerating the convergence of abstract interpretations is…
Expand
Highly Cited
1977
Highly Cited
1977
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
P. Cousot
,
R. Cousot
POPL
1977
Corpus ID: 207614632
A program denotes computations in some universe of objects. Abstract interpretation of programs consists in using that denotation…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE