| Publication type: |
Article in Proceedings |
| Author: |
H. Shi |
| Editor: |
G. Schellhorn, W. Reif |
| Title: |
Java2CSP: A System for Verifying Concurrent Java Programs |
| Book / Collection title: |
FM-TOOLS 2000 |
| Page(s): |
111 – 115 |
| Series: |
Ulmer Informatik-Berichte |
| Number: |
2000-07 |
| Year published: |
2000 |
| Abstract: |
This paper presents the system Java2CSP which translates
concurrent Java programs into CSP processes. Our goal is to
verify automatically the synchroniszation behaviour, such as
deadlock and livelock, of the original Java programs with the model-checking tool FDR. |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~shi/papers/FMTOOL00.ps |
| Keywords: |
specification, model-checking, Java, concurrent, deadlock, livelock |
| Status: |
Reviewed |
| Last updated: |
03. 09. 2004 |
|
 |
