Title | ||
---|---|---|
A strategy for efficient verification of relational specifications, based on monotonicity analysis |
Abstract | ||
---|---|---|
We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique drastically outperforms analysis of the same problems using SAT-solvers, while consuming a fraction of the memory SAT-solvers require. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1145/1101908.1101956 | ASE |
Keywords | Field | DocType |
relevant class,relational specification,monotonicity analysis,efficient verification,alloy analyzer,memory sat-solvers,software specification,sat solver,software validation | Monotonic function,Computer science,Alloy Analyzer,Theoretical computer science,Software requirements specification,Software verification and validation | Conference |
ISBN | Citations | PageRank |
1-58113-993-4 | 1 | 0.36 |
References | Authors | |
4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marcelo F. Frias | 1 | 295 | 35.57 |
Rodolfo Gamarra | 2 | 1 | 0.70 |
Gabriela Steren | 3 | 6 | 1.85 |
Lorena Bourg | 4 | 22 | 1.64 |