Login / Signup
A strategy for efficient verification of relational specifications, based on monotonicity analysis.
Marcelo F. Frias
Rodolfo Gamarra
Gabriela Steren
Lorena Bourg
Published in:
ASE (2005)
Keyphrases
</>
high level
data analysis
expert systems
image analysis
model checking
neural network
artificial intelligence
information systems
relational databases
data model
statistical analysis
relational data
optimal strategy
complexity analysis
formal analysis
automated verification