Abstraction Refinement for Quantified Array Assertions.

Mohamed Nassim Seghir Andreas Podelski Thomas Wies

Published in: SAS (2009)

Keyphrases

high level
real world
refinement process
knowledge base
query refinement
evolutionary algorithm
antenna array
programmable logic
data abstraction
databases
real time
multiresolution
dynamic programming
infrared
natural language
information systems
genetic algorithm
neural network