Ranger: Parallel analysis of alloy models by range partitioning

TitleRanger: Parallel analysis of alloy models by range partitioning
Publication TypeConference Paper
Year of Publication2013
AuthorsRosner, N, Siddiqui, JH, Aguirre, N, Khurshid, S, Frias, MF
Conference Name2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013
URLhttp://dx.doi.org/10.1109/ASE.2013.6693075
DOI10.1109/ASE.2013.6693075
Work Package: 
WP5