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, Nicolás, Galeotti, Juan Pablo, López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado: 2010
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:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v5977LNCS_n_p396_Rosner
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