J-LO, the Java Logical Observer. A tool for runtime-checking temporal assertions. J-LO, the Java Logical Observer, is a tool for runtime-checking temporal assertions in Java 5 applications. Temporal properties (see below) can be specified using a linear time logic (LTL) over AspectJ pointcuts. Specification takes place right in the source code in the form of Java 5 annotations. After compiling this source code with a Java 5 compliant compiler, Java extracts those annotations from the bytecode and, at the same time, instruments the application with the appropriate runtime checks.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Roşu, Grigore; Chen, Feng: Semantics and algorithms for parametric monitoring (2012)
- Aktug, Irem; Dam, Mads; Gurov, Dilian: Provably correct runtime monitoring (2009)
- Chen, Feng; Roşu, Grigore: Parametric trace slicing and monitoring (2009)