Compositional Verification and 3-Valued Abstractions Join Forces.
Sharon ShohamOrna GrumbergPublished in: SAS (2007)
Keyphrases
- query optimization
- model checking
- high level
- face verification
- formal verification
- signature verification
- query execution
- functional verification
- database
- verification method
- formal analysis
- query processing
- neural network
- join algorithms
- join operations
- database systems
- asynchronous circuits
- artificial intelligence