Login / Signup
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
Kengo Kido
Swarat Chaudhuri
Ichiro Hasuo
Published in:
SNR@CAV (2015)
Keyphrases
</>
abstract interpretation
static analysis
dynamic analysis
source code
regular expressions
termination analysis
reasoning engine
test suite
case study
high level
training set
data model
query language