psimsmt

psimsmt

A simple virtual machine for simulating random sequences of memory access by concurrent programs.