Possibly of interest:Building PDE Codes to be Verifiable and ValidatableThe Separation of V and VThe Method of Manufactured Solutions -- A Summaryhttp://
www.personal.psu.edu/users/j/h/jhm/ME54 ... .pdfSalari, K., Knupp, P.: Code Verification by the Method of Manufactured Solutions, Sandia Report, Sandia National Laboratories, 2000.
http://prod.sandia.gov/techlib/access-c ... 001444.pdf