Proving linearizability using forward simulations.

Ahmed Bouajjani Michael Emmi Constantin Enea Suha Orhun Mutluergil

Published in: CoRR (2017)

Keyphrases

simulation study
bi directional
forward and backward
genetic algorithm
video sequences
support vector
natural language
information technology
structural analysis
simulation tools