Compositional verification and 3-valued abstractions join forces.

Sharon Shoham Orna Grumberg

Published in: Inf. Comput. (2010)

Keyphrases

model checking
high level
formal analysis
neural network
formal verification
query optimization
query processing
trade off
fuzzy logic
data structure
join algorithms
genetic algorithm
databases
person identification
verification method
concurrent systems
external forces
functional verification