conf.directory

Model Checking

3 talks about Model Checking

Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023
01:07:15
Intermediate

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

Scott Wlaschin
NDC Conferences
5,082 views
May 22 2023
Watch Now
Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC Oslo 2020
01:04:08
Intermediate

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

Scott Wlaschin
NDC Conferences
4,507 views
August 10 2020
Watch Now
Turing Centennial Conference: From Programs to Systems: Building a Smarter World
43:26
Advanced

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

Joseph Sifakis
Google Tech Talks
0 views
April 25 2012
Watch Now