On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).

João Mota Marco Giunti António Ravara

Published in: ECOOP (2023)

Keyphrases

complex objects
d objects
object identification
deformable objects
multiple objects
multiscale
information retrieval
object tracking
object level
object classes
object position
bounding box
target object
object categories
data objects
mean shift
object recognition