>
> Dynamic Predicate Abstraction
> Last year we started working on dynamic predicate abstraction in the 
> context of Java Pathfinder. Our approach combines systematic traversal 
> of the concrete program state space with on-the-fly predicate 
> abstraction. This talk will cover the basic approach, specific 
> technical details (predicate language, heap representation, state 
> matching), current status of a prototype implementation, and our plans 
> for this year.