A lightweight LTL runtime verification tool for java

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2004, Pages 306-307

  Bodden, Eric ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

AspectJ; Concurrent systems; Joinpoints; Linear time temporal logic (LTL); Metadata; Runtime verification

Indexed keywords

ASPECT-J; CONCURRENT SYSTEMS; JOINPOINTS; LINEAR TIME TEMPORAL LOGIC; RUNTIME VERIFICATION;

COMPUTER SYSTEMS PROGRAMMING; FORMAL METHODS; METADATA; QUERY LANGUAGES; TEMPORAL LOGIC;

OBJECT ORIENTED PROGRAMMING;

EID: 79951761222     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1028664.1028776     Document Type: Conference Paper

References (5)

1. Adrian Colyer (IBM), AspectJ project lead. Personal communication, June 2004.
2. AspectJ website. http://www.eclipse.org/aspectj/.
3. Java specification request for metadata annotations (JSR175). http://jcp.org/en/jsr/detail?id=175.
4. R. Laddad. AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., 2003.
5. V. Stolz and F. Huch. Runtime verification of Concurrent Haskell programs. In Proceedings of the Fourth Workshop on Runtime Verification, to appear in ENTCS. Elsevier Science Publishers, 2004.