Verifying Particular Solutions to Differential Equations