A Counterexample-Based Incremental and Modular Verification Approach.

Étienne André Kais Klai Hanen Ochi Laure Petrucci

Published in: Monterey Workshop (2012)

Keyphrases

model checking
formal verification
temporal logic
face verification
real time
information systems
image processing
concurrent systems
incremental version
data sets
database systems
incremental learning
batch learning
modular neural networks