Cache Coherence Verification with TLA+. - Homayoon Akhiani; Damien Doligez; Paul Harter; Leslie Lamport; Joshua Scheid; Mark R. Tuttle; Yuan Yu (World Congress on Formal Methods, 1999)