Login / Signup
Verifying Quantitative Properties Using Bound Functions.
Arindam Chakrabarti
Krishnendu Chatterjee
Thomas A. Henzinger
Orna Kupferman
Rupak Majumdar
Published in:
CHARME (2005)
Keyphrases
</>
quantitative and qualitative
databases
real world
knowledge base
multiresolution
upper bound
model checking
desirable properties
functional properties
algebraic properties
data sets
computer vision
image processing
linear combination
aggregation functions