|
||
|
||
|
|
||
|
|
|
|
: Student Research Presentations at the Welcome Reception : Student Research Finalists Presentations : Student Research Award Presentation |
A Lightweight LTL Runtime Verification Tool for Java
Eric Bodden, RWTH Aachen University
We propose a runtime verification tool for Java 1.5 that introduces certain metadata annotations in order to parameterize an AspectJ backend that is in combination capable of verifying formulas in LTL against the original Java application. The system preserves full Java 1.5 compliance of the source code.
