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

00:00 - Formal Methods 03:55 - Fault injection 07:10 - Chaos Engineering 11:28 - Design doc 18:41 - Formal spec. TLA+ 27:30 - Model checker. TLC 20:39 - Пример AWS 31:38 - Как код совмещается со спецификацией 37:40 - Язык формальной спецификации. Требования к системе. Configuration, Behavior. Свойства системы 51:41 - логика свойств. FOL, Data Logic, LTL, CTL. Утверждения о поведениях Снимал: Димитрис Голяр Монтировал: Максимелиан Мумладзе Лектор: Роман Липовский Дата лекции: 14.11.2020 Репозиторий курса:   gitlab.com/lipovsky/distsys-course   Плейлист с лекциями:    • TFTDS (лекции, 3 курс, осень 2020), лектор...   Плейлист с семинарами:    • TFTDS (семинары, 3 курс, осень 2020), семи...