Author(s): Professor Bhaskaran, Cornell University

The Blackbox
Pre-Analysis
Verification & Validation