Login / Signup

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.

Pablo PonzioAriel GodioNicolás RosnerMarcelo ArroyoNazareno AguirreMarcelo 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