JavaMemoryModel: Executable Specifications

From: Jeremy Manson (
Date: Thu Apr 04 2002 - 12:08:37 EST

Hi folks. Slightly off topic, but this seems like a good list to send
this to.

I was wondering what description languages and verifiers people knew of
for memory models in general. I am aware of Murphi, which has been used
to help verify the CRF JMM and SPARC/RMO, and some implementations for TLA
(I cannot find information about what these may have been used to help

I was wondering what others might be out there, and what they might have
been used to evaluate.

Thanks for any help you can give!

JavaMemoryModel mailing list -

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:39 EDT