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...