Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023
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/
Watch video Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023 online, duration hours minute second in high quality that is uploaded to the channel NDC Conferences 22 May 2023. Share the link to the video on social media so that your subscribers and friends will also watch this video. This video clip has been viewed 5,109 times and liked it 134 visitors.
