Standalone Debugging Tools for Windows (WinDbg)

http://msdn.microsoft.com/en-us/windows/hardware/hh852365

http://msdn.microsoft.com/library/windows/hardware/ff551063(v=vs.85).aspx