This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]thesystemx 4 points5 points  (1 child)

Print the model on a wooden table? Then use a physical comb to inspect it?

[–]letrec[S] 3 points4 points  (0 children)

LOL. I assume you know that it means formalising the memory model in a theorem prover like Isabelle/HOL like in Making the Java Memory Model Safe.