Verification via Structure Simulation.

Neil Immerman Alexander Moshe Rabinovich Thomas W. Reps Shmuel Sagiv Greta Yorsh

Published in: CAV (2004)

Keyphrases

data sets
genetic algorithm
artificial intelligence
image processing
video sequences
artificial neural networks
hierarchical structure
simulation model
real time
machine learning
structural information
complex structures
formal methods
formal verification