Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis.

Kengo Kido Swarat Chaudhuri Ichiro Hasuo

Published in: VMCAI (2016)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
source code
termination analysis
information systems
case study
data model
test suite
reasoning engine