Building PDE codes to be verifiable and validatable | IEEE Journals & Magazine | IEEE Xplore