On Verifying Distributed Multithreaded Java Programs

Distributed multithreaded software systems are becom-ing more and more important in modern networked environ-ment. For these systems, concurrency control and thread synchronization make it much harder to do traditional ex-tensive testing to guarantee the quality of the systems. In contrast to testing, software verification under certain for-malisms and methodologies usually gives us higher confi-dence about the system. In this paper, we consider translat-ing some parts of program code that are sensitive to concur-rency control into certain formal description so that we can reuse existing verification tools to enhance our confidence in the final code. Java language is gaining increasing popularity in dis-tributed multithreaded system development, and CCS is on