ブルースクリーン(BSOD)が発生した際、原因調査のために参照すべきファイル形式はどれか。

メモリダンプファイル(.dmp)には、クラッシュ時のシステム状態が記録されている。