Panda is an extension for Java Pathfinder, which introduces support for predicate abstraction and various other abstractions of numeric data domains, such as signs and intervals. The name “Panda” stands for Predicate Abstraction in Dynamic Analysis.

It started as a Google Summer of Code (GSoC) project in 2012 with the goal to implement basic abstractions of numeric data domains. Support for predicate abstraction was added in the scope of another GSoC project in 2013. Currently, we focus on automated generation of predicates, modeling Java collections, and support for concurrency (multiple threads).