Using Coq to verify PDF files (video):

http://www.youtube.com/watch?v=CmPw7eo3nQI

The core of the xmonad window manager was verified with Coq (PDF):

http://www.staff.science.uu.nl/~swier004/Publications/Xmonad...