Runtime Verification
On this website I present my thesis work that I did at the Chair of Computer Science 2, at RWTH Aachen University in 2005.
J-LO, the Java Logical Observer, is a tool for runtime-checking temporal assertions in Java 5 applications.
Converts ltl formulae into Buchi automata using a Java-based API and a C-based backend.
In case of any questions, please contact Eric Bodden.