DSolveは通常与えられた微分方程式に対して正しい解を返すが，どの微分方程式ソルバを使う場合でも，一般常識として，返された解を検証したほうがよい．DSolveが与える解は，さまざまな方法を使って検証することができる．もっとも簡単な方法は，解を方程式に代入する方法である．結果がTrueであれば，解は有効である．

以下の例では，解は代入によって検証される．

後ほど作業する際に便利なように，DSolveの第1引数をeqnに割り当てる：

DSolveの第2引数が ではなく として指定される場合，解は純関数として返される．この形は，解を検証し，後でさらに作業を行う際に便利である：

「/.」（ReplaceAllの簡略形）を使って，解を方程式に代入し直す：

以下では同じ方法を使って，解が方程式と初期条件を満足することを検証する：

代入の結果が複雑すぎて，TrueあるいはFalseがすぐに得られないという場合がある．そのような例については，Simplifyを使って代入の結果を簡略化することによって検証することができる．簡略化された結果がTrueであれば，解は有効である．

二階非同次方程式の解を得る：

解を方程式に代入する：

Simplifyを使って解を検証する：

以下で同じ方法を使って，線形偏微分方程式の解を検証する：

方程式に特殊関数が含まれる場合には，FullSimplifyを使って解を検証する必要がある場合もある．

例えば，この解にはベッセル関数が含まれる：

Simplifyでは解を検証することはできない：

FullSimplifyを使うと検証できる：

もう一つの重要な検証方法として，問題の変数とパラメータのすべてについて数値的なチェックを行うということがある．そのような場合には，ランダムな値の集合を複数使って，チェックを繰り返した方がよい．

数値的なチェックでは解を確証持って検証することはできないが，より高い精度を使ったり，変数が複素数を取れるようにしたりすることによって，より厳密なチェックを行うことができる．

以下では，上の解をより高い精度を使って検証する：

以下では，ランダムな複素数を使って上の解を検証する：