Login / Signup
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