Stateless Model Checking With Data-race Preemption Points

2017 22:54
Synopsis
Stateless model checking is a powerful technique for testing concurrent programs, but suffers from exponential state space ...

You Might Also Like

Jonsson & Sagonas; Testing and Verifying Concurrent Algorithms Using Stateless Model Checking 29:15
Jonsson & Sagonas; Testing And Verifying Concurrent Algorith...
2018
Effective Lock Handling in Stateless Model Checking 21:10
Effective Lock Handling In Stateless Model Checking
2020
Effective Lock Handling in Stateless Model Checking 21:06
Effective Lock Handling In Stateless Model Checking
2020
RaceMob: crowdsourced data race detection 31:06
Racemob: Crowdsourced Data Race Detection
2015
Optimal Stateless Model Checking under the Release-Acquire Semantics 22:11
Optimal Stateless Model Checking Under The Release-acquire S...
2019
CORD: A Collaborative Framework for Distributed Data Race Detection 22:05
Cord: A Collaborative Framework For Distributed Data Race De...
2015
RacerD - Compositional Static Race Detection 23:44
Racerd - Compositional Static Race Detection
2019
Model Checking: Debugging Complex, Interacting Systems 1:44
Model Checking: Debugging Complex, Interacting Systems
2018
Model Checking of Predicate Abstracted Programs without BDDs [1/2] 1:00:58
Model Checking Of Predicate Abstracted Programs Without Bdds...
2017
Neven Miculinic - Data race detection - WebCamp Zagreb 2019 21:56
Neven Miculinic - Data Race Detection - Webcamp Zagreb 2019
2020
[VMCAI'22] Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applic 29:59
[vmcai'22] Stateful Dynamic Partial Order Reduction For Mode...
2023
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.