conf.directory

Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023

Scott WlaschinNDC Conferences
01:07:15
5,082 views
Published May 22, 2023

About this talk

As developers, we have a number of well-known practices to ensure code quality, such as unit tests, code review and so on. But these practices often break down when we need to design concurrent systems. Often, there can be subtle and serious bugs that are not found with conventional practices. But there’s another approach that you can use -- model-checking -- that can detect potential concurrency errors at design time, and so dramatically increase your confidence in your code. In this talk, I’ll demonstrate and demystify TLA+, a powerful design and model-checking system. We’ll see how it can check your concurrent designs for errors, saving you time up front and frustration later! Check out our new channel: NDC Clips: @ndcclips Check out more of our featured speakers and talks at https://ndcconferences.com/ https://ndclondon.com/

Stay Updated

Get notified about new features and conference additions.

Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023 by Scott Wlaschin | conf.directory | conf.directory