Description
Building correct concurrent or distributed systems is hard and very challenging task. In my talk I will show how model checking tools can help to ensure correctness of algorithms used in such systems.
Verification of Concurrent and Distributed Systems
Details
- Event: PyCon Ukraine 2018
- Language: Russian
- Media URL: YouTube
- Related URLs: