What Isn't Your System Supposed to Do? by Hillel Wayne
Автор: TigerBeetle
Загружено: 2025-08-06
Просмотров: 3739
Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One different box is "formal methods", the discipline of mathematically verifying software and systems. Formal methods encourages unusual perspectives on systems, models that are also broadly useful to all software developers. In this talk we will learn two of the most important FM perspectives: the abstract specifications behind software systems, and the property they are and aren't supposed to have.
https://www.hillelwayne.com/
Talk from Systems Distributed '25: https://systemsdistributed.com
Join the chat at https://slack.tigerbeetle.com/invite
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
