LINUX.ORG.RU

Сообщения Zemlansky

 

Linux modelchecking

Галерея — Скриншоты

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

>>> Просмотр (1280x800, 275 Kb)

Zemlansky
()

RSS подписка на новые темы