Verification of Computer Codes in Computational Science and Engineering

How can one systematically show that computer codes are correctly solving equations? Verification of Computer Codes in Computational Science and Engineering sets forth a powerful procedure called OVMSP: Order-Verification via the Manufactured Solution Procedure. Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. This book presents a step-by-step guide to OVMSP and demonstrates its effectiveness. The treatment is clear, concise, and suitable for developers of production quality simulation software and as a reference for computational science and engineering professionals.