Linux modelchecking
Собственно, сабж.
Основное пространство воллпапера занимает XSpin - фронтенд к продукту Spin (www.spinroot.com) - инструмент для оценки корректности модели (протокола, алгоритма, итд.)
WM - Fluxbox
В консольке еще можно увидеть mocp - клиент-серверный аудио проигрыватель.
Так и живем-)