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