The Design of a Multicore Extension of the SPIN Model Checker (0)

by G J Holzmann, D Bosnacki
Venue:IEEE Transactions on Software Engineering