Precise Thread-Modular Verification.

Alexander Malkis Andreas Podelski Andrey Rybalchenko

Published in: SAS (2007)

Keyphrases

model checking
face verification
formal analysis
modular neural networks
modular structure
real world
three dimensional
highly flexible
finer granularity
real time
feature selection
video sequences
digital images
formal methods
asynchronous circuits
modular neural network