[spec] start differential equations & verifying solutions