OOPSLA '04

Program
Technical Program
  Invited Speakers
  Technical Papers
  Onward!
  Panels
  Practitioner Reports
  Tutorials
Workshops
DesignFest
Educators' Symposium
Demonstrations
Posters
Doctoral Symposium
Exhibits
Student Research Comp.
FlashBoF
 
Turing Lecture
 
Social Events
 
Week at a Glance
 
Final Program (1.5M .pdf)

Find in Program
 

Page
Printer-friendly

Basket
view, help

"A Lightweight LTL Runtime Verification Tool for Java"
Object-Oriented Programming, Systems, Languages and Applications
Home    Program    Housing & Transportation    Registration    Submissions    Wiki    Maps
 


 : 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.