CORRECTNESS OF COMPUTATIONAL RESULT UNDER RACE CONDITIONS
The paper presents a checking method for race conditions when using shared memory by final state of memory in concurrent processes. The paper also shows this method application in IACPaaS project.
Keywords: multiprocessor programming, race condition, thread synchronization, multithreaded applications.