Conference
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
Abstract
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-solver to search for counterexamples. The translation strongly depends on user-provided bounds for data domains called scopes - the larger the scopes, …
Authors
Rosner N; Galeotti JP; Lopez Pombo CG; Frias MF
Series
Lecture Notes in Computer Science
Volume
5977
Pagination
pp. 396-397
Publisher
Springer Nature
Publication Date
2010
DOI
10.1007/978-3-642-11811-1_33
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743