Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction.

Alexey Bakhirkin Josh Berdine Nir Piterman

Published in: SAS (2014)

Keyphrases

quantitative analysis
real time
genetic algorithm
wide range
natural language
relational databases
data warehouse