Polynomial-time verification of the observer property in abstractions.

Patrícia N. Pena José E. R. Cury Stéphane Lafortune

Published in: ACC (2008)

Keyphrases

special case
high level
model checking
verification method
databases
genetic algorithm
computational complexity
database
data sets
neural network
database systems
trade off
formal verification
functional verification