IEEE - Institute of Electrical and Electronics Engineers, Inc. - Ranger: Parallel analysis of alloy models by range partitioning

2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE)

Author(s): Nicolas Rosner ; Junaid H. Siddiqui ; Nazareno Aguirre ; Sarfraz Khurshid ; Marcelo F. Frias
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2013
Conference Location: Silicon Valley, CA, USA
Conference Date: 11 November 2013
Page(s): 147 - 157
ISBN (Electronic): 978-1-4799-0215-6
DOI: 10.1109/ASE.2013.6693075
Regular:

We present a novel approach for parallel analysis of models written in Alloy, a declarative extension of first-order logic based on relations. The Alloy language is supported by the fully... View More

Advertisement