Please enable JavaScript in your browser!
Головна сторінка
Огляд
Довідка
Увійти
unidan
/
notes
Слідкувати
1
Зірка
0
Відгалуження
0
Файли
Проблеми
26
Запити на злиття
0
Wiki
Мітка
Проміжні етапи
Нове обговорення
#25
concurrent checking
Відкрити
5 роки тому
відкрито
unidan
· 0 коментарів
unidan
відкоментовано
5 роки тому
https://github.com/carllerche/loom/
http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf
https://github.com/carllerche/loom/ http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf
Підпишіться
щоб приєднатися до обговорення.
Мітки
Очистити мітки
Без Мітки
Етап
Очистити етап
Етап відсутній
Відповідальний
Прибрати відповідального
Немає відповідального
1 учасників
Запис
Переглянути
Завантажується...
Скасувати
Зберегти
Тут ще немає жодного вмісту.
https://github.com/carllerche/loom/
http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf