C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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