A strategy for efficient verification of relational specifications, based on monotonicity analysis
| Autor: | Marcelo F. Frias, Rodolfo Gamarra, Lorena Bourg, Gabriela Steren |
|---|---|
| Rok vydání: | 2005 |
| Předmět: | |
| Zdroj: | ASE |
| DOI: | 10.1145/1101908.1101956 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|