59:23Search results
- Category: Systems, Networks & Security
Results for “formal methods”
6 videos
59:23
59:50
30:06formal specification with tla+Talk
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
3 HN recommenders
56:03
58:37ada spark adoptionTalk
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
49:45formally verified operating systemsTalk
seL4 Is Free – What Does This Mean For You?
Linux.conf.au 2015 -- Auckland, New Zealand
1 HN recommender
Sources and selection
What happens below an application determines how it performs and how it fails. These videos cover databases, operating systems, networks, distributed systems and security. They are suited to developers and operators investigating storage, reliability, infrastructure or the assumptions behind a security design.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes