Verification Techniques for Dynamically Typed Programs.

Björn Engelmann

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)

Keyphrases

symbolic execution
hardware designs
higher order
model checking
search algorithm
machine learning
lambda calculus
automatic programming
java bytecode
changing environment
fixpoint
control structures
face verification
concurrent systems
verification method
database
data structure
computer vision
neural network