The Verification of a Distributed System • Caitie McCaffrey • YOW! 2016
HTML-код
- Опубликовано: 6 июл 2024
- This presentation was recorded at YOW! 2016. #GOTOcon #YOW
yowcon.com
Caitie McCaffrey - Distributed Systems Diva at Twitter @CaitieMcCaffrey
FULL TALK TITLE
The Verification of a Distributed System - A Practitioner's Guide to Increasing Confidence in System Correctness
RESOURCES
x.com/caitie
/ caitie-mccaffrey-7831379b
github.com/CaitieM20
www.caitiem.com
ABSTRACT
Distributed Systems are difficult to build and test for two main reasons: partial failure & asynchrony. These two realities of distributed systems must be addressed to create a correct system, and often times the resulting systems have a high degree of [...]
RECOMMENDED BOOKS
Sourav Ghosh • Building Low Latency Applications with C++ • amzn.to/3szwUhV
Steve Scargall • Programming Persistent Memory • amzn.to/3Pk79ex
/ gotocon
/ goto-
/ gotoconferences
#DistributedSystems #Verification #CaitieMcCaffrey #YOWcon
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at gotopia.tech
Sign up for updates and specials at gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
ruclips.net/user/GotoConf... - Наука
We are currently releasing older YOW! videos to serve as a valuable archive, preserving historical content. It is possible that a video is perceived as outdated. We believe it offers insightful glimpses into the past, enriching our understanding of history and development.