The Design of a Multicore Extension of the SPIN Model Checker | IEEE Journals & Magazine | IEEE Xplore