A Survey on Correctness Properties for Multithreaded Applications

초록

Correctness property for concurrent systems is essential in checking multithreaded applications. In current multithreaded applications development, there exist a number of applications that have been verified to be incorrect or that produces unpredictable errors. This is due to no proof of correctness in stating that the correctness property holds in the development of multithreaded applications. There exist a number of tools and correctness property checkers, which only focuses on holding one of the correctness properties. This paper presents an analysis on existing verification tools and do evaluation on the correctness properties.