A lightweight LTL runtime verification tool for java.

Eric Bodden

Browse the full OOPSLA paper archive.