Please find within this study packet the following items.
Contact nan.niu@uc.edu for further information or questions. Thanks!

(0) Readme file (this document: 0-Readme.txt)

(1) User manual (1 pdf file: 1-AutoV&V_manual.pdf)

(2) Source code of Automated tool for verfication & validation analysis 
    (1 python source file:2-AutoV&V.py)

(3) Example software' source code to be analyzed (2 C files: 
    3-Procedure1.c; 3-Procedure2.c) 

(4) Verfication specification files for each procedure (2 XML files:
    4-Procedure1.xml; 4-Procedure2.xml)

(5) Validation setting file (1 XML file: 5-Validation_setting.xml)