Comparative Analysis on Tools for Verifying Multithreaded Applications

Abstract

The growth rate for the usage of multithreaded applications has been increasing rapidly along with improved modern day software. For that reason, effective verification tools is needed. With the rapid growth in software development, there has been a number of verifiers that have been introduced due to the lower quality of software that were developed. Therefore, the purpose of this paper is to analyze the comparison of different tools for verifying multithreaded applications. Comparison and evaluation to find an effective verification tool for multithreaded applications will also be shown in this paper.