Published August 2, 2022 | Version v1
Software Open

Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"

  • 1. Aalborg University
  • 2. University of Copenhagen

Description

Repeatability package for the paper "Differential Testing of Pushdown Reachability with a Formally Verified Oracle" accepted at FMCAD 2022.

This package contains the Isabelle formalization as well as the experimental setup for the case study in the paper - including scripts, benchmarks, as well as source code and executables for the different versions of the PDAAAL library studied. 

The experimental setup is only available for Linux, while the Isabelle formalization can be used on a platform where Isabelle can be installed.

See the README.txt files for more details.

Files

pushdown-isabelle.zip

Files (31.8 MB)

Name Size Download all
md5:c4cf08ff963fdc7bc063d9db4bf787a5
31.8 MB Preview Download