INVESTIGADORES
FRIAS Marcelo Fabian
congresos y reuniones científicas
Título:
A Strategy for Efficient Verification of Relational Specifications Based on Monotonicity Analysis
Autor/es:
FRIAS, MARCELO FABIAN; GAMARRA, RODOLFO; STEREN, GABRIELA; BOURG, LORENA
Lugar:
Los Angeles, California, USA
Reunión:
Congreso; Automated Software Engineering; 2005
Institución organizadora:
ACM
Resumen:
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.
