ParAlloy: Towards a framework for efficient parallel analysis of alloy models

Alloy [Jac02a] is a widely adopted relational modeling language. Its appealing syntax and the support provided by the Alloy Analyzer [Jac02b] tool make model analysis accessible to a public of non-specialists. A model and property are translated to a propositional formula, which is fed to a SAT-solv...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Rosner, N., Galeotti, J.P., Lopez Pombo, C.G., Frias, M.F.
Formato: SER
Materias:
Alloy analyzers
Data domains
Model analysis
Parallel analysis
Propositional formulas
Relational modeling
SAT solvers
SAT-solving
Abstracting
Alloys
Contour followers
Cerium alloys
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5977LNCS_n_p396_Rosner
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares