Login / Signup
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.
Pablo Ponzio
Ariel Godio
Nicolás Rosner
Marcelo Arroyo
Nazareno Aguirre
Marcelo F. Frias
Published in:
FASE (2021)
Keyphrases
</>
lower bound
bounded model checking
upper bound
model checking
worst case
vc dimension
upper and lower bounds
generalization error bounds
learning algorithm
computationally efficient
computer programs