Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias. Parallel Bounded Verification of Alloy Models by TranScoping. In Ernie Cohen, Andrey Rybalchenko, editors, Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. Volume 8164 of Lecture Notes in Computer Science, pages 88-107, Springer, 2013. [doi]
Abstract is missing.