Contribute Media
A thank you to everyone who makes this possible: Read More

Verification of Concurrent and Distributed Systems


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.


Improve this page