Proving Linearizability Using Forward Simulations.

Ahmed Bouajjani Michael Emmi Constantin Enea Suha Orhun Mutluergil

Published in: CAV (2) (2017)

Keyphrases

numerical simulations
simulation model
forward and backward
simulation tools
bi directional
database systems
pattern recognition
real time
special case
molecular dynamics
simulation models
simulation environment
multi agent systems
natural language
artificial intelligence
information retrieval
real world
databases