Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020
Don't forget to check out our links below!
https://ndcoslo.com/
https://ndcconferences.com/
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!
Видео Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020 канала NDC Conferences
https://ndcoslo.com/
https://ndcconferences.com/
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!
Видео Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020 канала NDC Conferences
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
The lazy programmer's guide to writing thousands of tests - Scott WlaschinThe Power of Composition - Scott Wlaschin - NDC Oslo 2020Get Func-y: Delegates in .NET - Jeremy ClarkAnatomy of ASP.NET Core Requests - Steve Gordon - NDC Oslo 2020OpenID Connect & OAuth 2.0 – Security Best Practices - Dominick Baier - NDC Oslo 2020Scott Wlaschin - Talk Session: Domain Modeling Made Functional"New" Features in C - Dan SaksLambda? You Keep Using that Letter - Kevlin HenneyFunctional data that adapts to change - Don Syme - NDC Oslo 2020Build your own Excel 365 in an hour with F# - Tomas PetricekWriting Allocation Free Code in C# - Matt EllisScott Wlaschin — The power of compositionFour Languages from Forty Years Ago - Scott WlaschinCommon API Security Pitfalls - Philippe De RyckSTOP dogmatic Domain Driven DesignA Skeptics Guide to Graph Databases - David BechbergerBetter Code: Runtime Polymorphism - Sean ParentC# and Rust: combining managed and unmanaged code without sacrificing safety - Ashley MannixArchitecture: The Stuff That's Hard to Change - Dylan BeattieFour Languages from Forty Years Ago - Scott Wlaschin