Conferences Watch Later History

Conferences Watch Later History

© 2025 conf.directory. All rights reserved.

•

v0.3.22

•

Built by Nikita Bayev

About Privacy Terms Disclaimer

Model Checking - Tech Conference Talks and Videos | conf.directory | conf.directory

Model Checking

3 talks about Model Checking

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

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

Scott Wlaschin

NDC Conferences

5,082 views

May 22 2023

Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020

Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020

Scott Wlaschin

NDC Conferences

4,507 views

August 10 2020

Turing Centennial Conference: From Programs to Systems: Building a Smarter World

Turing Centennial Conference: From Programs to Systems: Building a Smarter World

Joseph Sifakis

Google Tech Talks

0 views

April 25 2012