This archive contains the artifacts for reproducibility of the experiments on the two benchmarks in the paper

  Dureja, R., Rozier, K.Y.: More Scalable LTL Model Checking via
      Discovering Design-Space Dependencies (D3). In: TACAS (2018)

-------------------------------------------------------------------------------

Directory Structure
===================

|-- NASA-ATC/   Artifacts for reproducing the results for the NASA Air Traffic
|               Control benchmark used in the paper. For more details, refer
|               to the README inside this folder.
|
|-- Boeing-WBS/ Artifacts for reproducing the results for the Boeing Wheel
|               Braking System benchmark used in the paper. For more details,
|               refer to the README inside this folder.


-------------------------------------------------------------------------------

General Comments
================

Step-by-step instructions to reproduce the results are contained in the README inside the above two folders. Please follow them carefully.

For further information, contact Rohit Dureja (dureja@iastate.edu)



