Add to ORKGThe 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.This work was supported by the ICT R&D program of MSIP/IITP.[R0601-15-1063, Software Platform for ICT Equipment
Software is large, complex, and error-prone. According to the US National Institute of Standards and...
The importance of verification for software products is being increasingly appreciated in industry, ...
With so many developers writing code, so many choose to become a developer every day, using tools to...
Developing multithreaded programs has been difficult, especially when dealing with non-deterministic...
Includes bibliographical references (pages 116-128)Typically more than 50 percent of software develo...
As the use of concurrent software is increasing, we urgently need techniques to establish the correc...
Program verification and testing techniques are crucial in fruitfully analyzing and validating compl...
Abstract—Program testing today is mostly manual and re-quires significant human effort. Moreover, su...
Distributed multithreaded software systems are becom-ing more and more important in modern networked...
Software developers have varying abilities and develop software with differing reliability requireme...
This paper presents distributed informatics applications and characteristics of their development cy...
Ensuring the reliability of multithreaded software systems is difficult due to the interaction betwe...
In the ever-developing world of technology, more and more situations arise where the life of many pe...
Verifying multi-threaded programs is becoming more and more important, because of the strong trend t...
With the availability of inexpensive computer hardware, software intensive systems are becoming soph...
Software is large, complex, and error-prone. According to the US National Institute of Standards and...
The importance of verification for software products is being increasingly appreciated in industry, ...
With so many developers writing code, so many choose to become a developer every day, using tools to...
Developing multithreaded programs has been difficult, especially when dealing with non-deterministic...
Includes bibliographical references (pages 116-128)Typically more than 50 percent of software develo...
As the use of concurrent software is increasing, we urgently need techniques to establish the correc...
Program verification and testing techniques are crucial in fruitfully analyzing and validating compl...
Abstract—Program testing today is mostly manual and re-quires significant human effort. Moreover, su...
Distributed multithreaded software systems are becom-ing more and more important in modern networked...
Software developers have varying abilities and develop software with differing reliability requireme...
This paper presents distributed informatics applications and characteristics of their development cy...
Ensuring the reliability of multithreaded software systems is difficult due to the interaction betwe...
In the ever-developing world of technology, more and more situations arise where the life of many pe...
Verifying multi-threaded programs is becoming more and more important, because of the strong trend t...
With the availability of inexpensive computer hardware, software intensive systems are becoming soph...
Software is large, complex, and error-prone. According to the US National Institute of Standards and...
The importance of verification for software products is being increasingly appreciated in industry, ...
With so many developers writing code, so many choose to become a developer every day, using tools to...