On Verifying Distributed Multithreaded Java Programs

Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization make it much harder to do traditional extensive testing to guarantee the quality of the systems. In contrast to testing, software verification under certain formalisms and methodologies usually gives us higher confidence about the system. In this paper, we consider translating some parts of program code that are sensitive to concurrency 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 distributed multithreaded system development, and CCS is one of the convenient tools for describing concurrent and multiprocess systems. Under a set of reasonable restrictions, we present a general framework on how to translate the thread control and synchronization portion of distributed, m...

• Type: Conference
• Year: 2000
• Where: HICSS
• Authors: Jessica Chen
• Keywords: Biometrics, Concurrency Control, HICSS 2000, Modern Networked Environment, Multithreaded Software Systems