AWS re:Invent 2023 - Gain confidence in system correctness & resilience with formal methods (ARC315) скачать в хорошем качестве

AWS re:Invent 2023 - Gain confidence in system correctness & resilience with formal methods (ARC315)

Distributed applications, systems, and services are difficult to design and test. Formal methods enable the early discovery of design bugs that can escape the guardrails of design reviews and automated testing only to get uncovered in production. Join this session to learn how AWS uses P, an open source, state machine–based programming language for formal modeling and analysis of distributed systems, to reason about the correctness of its services (for example, Amazon S3 and Amazon DynamoDB). Learn how developers and architects can use P for their own applications to find bugs early in the development process and increase developer velocity. Learn more about AWS re:Invent at https://go.aws/46iuzGv. Subscribe: More AWS videos: http://bit.ly/2O3zS75 More AWS events videos: http://bit.ly/316g9t4 ABOUT AWS Amazon Web Services (AWS) hosts events, both online and in-person, bringing the cloud computing community together to connect, collaborate, and learn from AWS experts. AWS is the world's most comprehensive and broadly adopted cloud platform, offering over 200 fully featured services from data centers globally. Millions of customers—including the fastest-growing startups, largest enterprises, and leading government agencies—are using AWS to lower costs, become more agile, and innovate faster. #AWSreInvent #AWSreInvent2023