| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
H. Shi |
| Herausgeber: |
G. Schellhorn, W. Reif |
| Titel: |
Java2CSP: A System for Verifying Concurrent Java Programs |
| Buch / Sammlungs-Titel: |
FM-TOOLS 2000 |
| Seite(n): |
111 – 115 |
| Serie / Reihe: |
Ulmer Informatik-Berichte |
| Ausgabe: |
2000-07 |
| Erscheinungsjahr: |
2000 |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
specification, model-checking, Java, concurrent, deadlock, livelock |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
03. 09. 2004 |
