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.

Subscribe:

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

[craftvscruft]

Looking forward to learning more about P, 2024 is the year of formal methods!

[ricardoasueiras]

One of my favourite talks at re:Invent this year - great stuff!

[Flipi-gobm]

like si estas haciendo la tarea de MFI :)

[ryanstar]

great stuff, formally model the system is critical to make sure the system is as correct as you hope

[GioGio]

a parte del AS3 que otro servivio usa metodos formales?

[thomasfibe]

can i use formal methods to reverse engineer systems and find bugs after a system is built? or is it only really effective as guardrails or for early discovery of bugs