Moped

Moped - A Model-Checker for Pushdown Systems.