TLA+/TLC: формальный метод верификации конкурентных алгоритмов для инженеров / Алексей Найденов

preview_player
Показать описание
Приглашаем на конференцию Saint HighLoad++ 2025, которая пройдет 23 и 24 июня в Санкт-Петербурге!
________
Профессиональная конференция разработчиков высоконагруженных систем
20 и 21 сентября 2021. Санкт-Петербург, DESIGN DISTRICT DAA in SPB

Тезисы и презентация:

Разрабатывать конкурентные системы сложно. Самые плохие ошибки закрадываются в алгоритм еще на стадии проектирования, не находятся никакими тестами и ждут реальной нагрузки и своей уникальной последовательности событий, чтобы взорваться и всё испортить.
...

  1. HighLoad Channel
  2. highload
Рекомендации по теме
TLA+/TLC: формальный метод 0:54:51

TLA+/TLC: формальный метод верификации конкурентных алгоритмов для инженеров / Алексей Найденов...

TLA+/TLC: практичный инструмент 0:48:26

TLA+/TLC: практичный инструмент формальной верификаций алгоритмов. Алексей Найденов (ITooLabs)....

Воркшоп: TLA+/TLC: практичный 3:26:51

Воркшоп: TLA+/TLC: практичный инструмент формальной верификаций алгоритмов. Алексей Найденов...

TFTDS 9. Формальные 1:26:00

TFTDS 9. Формальные методы. TLA+

Podlodka #268 – 1:33:06

Podlodka #268 – Формальные методы и верификация программ

TLA+ Toolbox 1.7.1 0:03:26

TLA+ Toolbox 1.7.1 Basics(use)

Формальные спецификации на 0:52:00

Формальные спецификации на примере TLA+

Verification and Visualization 0:36:29

Verification and Visualization of a ConsensusAlgorithm using TLA+ - Afonso das Neves Fernandes

Создание простейшей параметрической 0:12:09

Создание простейшей параметрической модели TLC

TLA+ Specification and 0:49:04

TLA+ Specification and Model Checking of the Agoric Smart Contracts Kernel - Kupriyanov & Tisdal...

Лекция 1 | 1:16:16

Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум...

TFTDS 10. TLA+ 1:13:59

TFTDS 10. TLA+

Знакомство с TLA+ 1:38:32

Знакомство с TLA+ [Иван Пузыревский 12.12.2019]

Continuous testing for 0:00:43

Continuous testing for TLA+

Contribute to TLA+ 0:01:10

Contribute to TLA+ CommunityModules

Сплав на байдарках 0:06:23

Сплав на байдарках для компании Itoolabs

A Beginner's Guide 0:17:38

A Beginner's Guide to TLA+ Exploring State Machines & Proving Correctness | Jeff Weiss | Co...

SREcon23 Americas - 0:30:53

SREcon23 Americas - Turning an Incident Report into a Design Issue with TLA+

Proofing the Correctness 0:20:30

Proofing the Correctness of the CURP Consensus Protocol Using TLA+

22-1 Формальные доказательства 0:10:56

22-1 Формальные доказательства

Lamport TLA+ Course 0:19:53

Lamport TLA+ Course Lecture 10: Implementation with Refinement Part 1: Preliminaries (HD)

Встраивание в Go 0:30:38

Встраивание в Go интерпретатора JS для реализации бизнес-логики. Алексей Найденов, ITooLabs...

Форум 'Идеология лидерства' 1:11:22

Форум 'Идеология лидерства' Одинцовский муниципальный район...

Комментарии
Автор

Спасибо Алексею. Изучаю TLA+ по Вейну и Лампорту, это выступление оказалось очень полезно для прояснения некоторых аспектов, особенно как делать Crash в TLA+ и как сделать таймауты. Еще раз спасибо.

ВладимирГ-оч
visit shbcf.ru