On using VeriFast, VerCors, Plural, and KeY to check object usage.

João Mota Marco Giunti António Ravara

Published in: CoRR (2022)

Keyphrases

complex objects
artificial intelligence
d objects
object model
object segmentation
multiple objects
background clutter
deformable objects
learning algorithm
three dimensional
graph cuts
keypoints
object tracking
data objects
object localization