Counter-Example Guided Fence Insertion under TSO.

Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Carl Leonardsson Ahmed Rezine

Published in: TACAS (2012)

Keyphrases

pattern recognition
case study
image segmentation
object recognition
real time
data sets
real world