Model checking as a tool used by parallelizing compilers.

Teodor Rus and Eric Van Wyk,

Proceedings of 2nd International Workshop on Formal Methods for Parallel Programming: Theory and Applications, April, 1997.

PDF