JavaMemoryModel: Executable Specifications

From: Jeremy Manson (jmanson@cs.umd.edu)
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
verify).

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!

                                        Jeremy
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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