I saved a few papers on deterministic multithreading both to knock out concurrency errors and support formal verification. I'm not sure how helpful they are in your use case. I'm just dropping them in case they give you ideas:

https://people.csail.mit.edu/mareko/asplos073-olszewski.pdf

https://people.cs.umass.edu/~emery/pubs/dthreads-sosp11.pdf