SP6516: Principles of Computer System Validation