Linux modelchecking

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

Ссылка

← О сожительстве qt и gtk

Третий день без винды →

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

as33 ★☆☆
(19.12.05 12:22:26 MSK)

Ответ на: комментарий от as33 19.12.05 12:22:26 MSK

хирова живёте

anonymous
(19.12.05 12:44:54 MSK)

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

BottleHunter
(19.12.05 14:26:17 MSK)

Ссылка

жуть.

gr_buza ★★★★
(19.12.05 17:13:12 MSK)

Ссылка

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

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

kefiiir
(20.12.05 11:05:33 MSK)