conf.directory

Formal Verification

8 talks about Formal Verification

SATisfying answers to difficult questions! - Vaibhav Sagar at !!Con 2024
10:04
Beginner

SATisfying answers to difficult questions! - Vaibhav Sagar at !!Con 2024

Vaibhav Sagar
Confreaks
0 views
January 31 2025
Watch Now
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
36:46
Intermediate

Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019

Hillel Wayne
GOTO Conferences
5,769 views
June 10 2023
Watch Now
Formal verification of C# smart contracts - Allister Beharry - NDC Oslo 2022
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
DEF CON 30 - Adam Zabrocki, Alex Tereshkin - Exploitation in the era of Formal Verification
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
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
Stochastic Optimization for x86 Binaries
01:03:55
Advanced

Stochastic Optimization for x86 Binaries

Eric Schkufza
Google Tech Talks
0 views
January 14 2015
Watch Now
Ruby Conf 2013 - A Peek Inside The Ruby Toolbox
39:28
Intermediate

Ruby Conf 2013 - A Peek Inside The Ruby Toolbox

Loren Segal
Confreaks
1,564 views
December 2 2013
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