Is there any tool / process / methodology available to prove that a competing program that does not use locks in their critical regions is correct?
How can I check free lock-free algorithms? [closed]
1
asked by anonymous 23.02.2017 / 11:42