Sign in

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.

Dirk BeyerThomas LembergerJan HaltermannHeike Wehrheim
Published in: ICSE (2022)
Keyphrases
  • case study
  • machine learning
  • computer vision
  • pattern recognition
  • building blocks
  • real time
  • neural network
  • information systems
  • similarity measure
  • multiscale
  • reinforcement learning
  • input image
  • software components