This repository contains the Isabelle formalization and case study experiments used in our 
submission "Differential Testing of Pushdown Reachability with a Formally Verified Oracle".

 - Formalization/  contains the Isabelle formalization.
 - experiments/  contains the case study and experiments.

Please see the README.txt files in the respective folders for more information.