Comparison Under Abstraction for Verifying Linearizability.

Daphna Amit Noam Rinetzky Thomas W. Reps Mooly Sagiv Eran Yahav

Published in: CAV (2007)

Keyphrases

neural network
medical images
quantitative evaluation
real time
information systems
high level
cooperative
object recognition
digital libraries
information technology