Author: Rajesh Bhaskaran, Cornell University
The Blackbox
Pre-Analysis
Verification & Validation