LINUX.ORG.RU

Linux modelchecking


0

0

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

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

Это от жпега у меня глаза в кучу съезжаются? На терминале сфокусироваться вообще не получается =)

as33 ★☆☆
()

Прикольно. Аффтар, расскажи для каких задач конкретно используешь model checking и насколько оно успешно получается ?

BottleHunter
()

Арбенин хочу можешь где-нить выложить свинопаса ??? или я могу фтп предоставить для заливки если есть такая возможность или просто подскожи где взять можно.

ежели чего kefiiir[at]mail.ru

kefiiir
()
Ответ на: комментарий от anonymous

Gnusmas SM 172B

Скорее наоборот. Лично у меня все шрифты выглядят так, будто изнутри светятся... Хм... Глала, жпег или монитор?

as33 ★☆☆
()

Мда мрачно, особенно трабла по цвету с плейлистом, я чуть к окулисту не побежал думая что у меня зрение резко ушло...

Megabit ★★★
()

Не дай бог за таким десктопом работать...

vs240
()

аааа, только не мои глазаааа... -))))

toxa ★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.