Login / Signup
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution.
Jera Hensel
Jürgen Giesl
Florian Frohn
Thomas Ströder
Published in:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
symbolic execution
complexity analysis
static analysis
test data generation
test generation
specification language
source code
theoretical analysis
data flow
lower bound
first order logic
computational complexity
programming language
database
neural network