Filters








1 Hit in 1.2 sec

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models [chapter]

Nicolás Rosner, Juan P. Galeotti, Carlos G. Lopez Pombo, Marcelo F. Frias
2010 Lecture Notes in Computer Science  
ParAlloy exploits the possibility of splitting the SAT formula, thus allowing for parallel SAT-solving of Alloy models. Three of its important characteristics are: 1.  ...  Its appealing syntax and the support provided by the Alloy Analyzer [Jac02b] tool make model analysis accessible to a public of non-specialists.  ...  ParAlloy exploits the possibility of splitting the SAT formula, thus allowing for parallel SAT-solving of Alloy models. Three of its important characteristics are: 1.  ... 
doi:10.1007/978-3-642-11811-1_33 fatcat:rpcvdx3jmndcdba267ifvqbzgm