Note: You are viewing an old revision of this page. View the current version.

The following is a list of people who will be speaking at the weekly Sable meetings. Please add your talk title and abstract below your name.

Fall 2005

Winter 2006

Abstract: We present a Runtime Verication framework for Java programs called the Java Logical Observer, J-LO for short. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked during program-execution by an automaton-based approach where transitions are triggered through aspects. No Java source code is necessary since AspectJ works on the bytecode level, thus even allowing instrumentation of third-party applications. As an example, we discuss safety properties over data structures. A novelty of our approach is that we provide a special form of LTL allowing free variables in propositions which can bind objects on the execution trace, yielding the availablility of instance-based reasoning.

More information and download at: