LINUX.ORG.RU

Сообщения Zemlansky

 

Linux modelchecking

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

Zemlansky
()

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