Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

First Page		Document Content
Date: 2012-07-30 14:15:10		Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Add to Reading List Source URL: spinroot.com Download Document from Source Website File Size: 460,92 KB Share Document on Facebook