Публикации с тегом TLA+
Как мы написали конкурентные структуры данных на C++ и научились их верифицировать
Лесли Лэмпорт — человек, который придумал LaTeX +40
Верификация распределённых систем с применением Isabelle/HOL +15
Формальное описание менеджера пакетов +4
Как писать программы с математическим совершенством +9
Очередной подход к RS-триггеру, теперь с TLA+ +5
Инженерный подход к разработке ПО. От теории к практике +17
- Блог компании Яндекс
- Анализ и проектирование систем
- Проектирование и рефакторинг
- Управление разработкой
How to Catch a Cat with TLA+ +9
Ловим кота с TLA+ +20