Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.

Cezara Dragoi Ashutosh Gupta Thomas A. Henzinger

Published in: CAV (2013)

Keyphrases

real time
data objects
d objects
object models
theorem proving
cooperative
image sequences
viewpoint
mobile robot
database
fully automatic
search engine
object segmentation
information retrieval
complex scenes
object level
neural network
real world objects