Login / Signup
A Unified Framework for Verification Techniques for Object Invariants.
Sophia Drossopoulou
Adrian Francalanza
Peter Müller
Alexander J. Summers
Published in:
Types, Logics and Semantics for State (2008)
Keyphrases
</>
d objects
spatial relationships
multiple objects
moving objects
viewpoint
object model
data sets
computer vision
spatial relations
object models
formal methods
deformable objects
formal verification
quasi invariant