conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
Formal Verification
8 talks about Formal Verification
Formal Verification - Tech Conference Talks and Videos | conf.directory | conf.directory
10:04
Beginner
SATisfying answers to difficult questions! - Vaibhav Sagar at !!Con 2024
Vaibhav Sagar
Confreaks
0 views
January 31
2025
Watch Now
36:46
Intermediate
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
Hillel Wayne
GOTO Conferences
5,769 views
June 10
2023
Watch Now
45:48
Advanced
Formal verification of C# smart contracts - Allister Beharry - NDC Oslo 2022
Allister Beharry
NDC Conferences
0 views
December 20
2022
Watch Now
41:48
Advanced
DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification
Adam Zabrocki, Alex Tereshkin
DEF CON
0 views
October 20
2022
Watch Now
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
01:03:55
Advanced
Stochastic Optimization for x86 Binaries
Eric Schkufza
Google Tech Talks
0 views
January 14
2015
Watch Now
39:28
Intermediate
Ruby Conf 2013 - A Peek Inside The Ruby Toolbox
Loren Segal
Confreaks
1,564 views
December 2
2013
Watch Now
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
