I'm assuming you're referring to formally proven programs. If that's the case, do you have any pointers? Aside from the trivial while(!transactionSucceeded){re

I'm assuming you're referring to formally proven programs. If that's the case, do you have any pointers? Aside from the trivial while(!transactionSucceeded){retry()} loop, I have trouble proving the correctness of my programs when the number of threads is not small and finite.