Optimal Stateless Model Checking Under The Release-acquire Semantics

2019 22:11
Synopsis
Paper: https://dl.acm.org/citation.cfm?id=3276505 We present a framework for the efficient application of stateless model checking ...

You Might Also Like

Verification of Programs under the Release-Acquire Semantics 19:53
Verification Of Programs Under The Release-acquire Semantics
2020
Effective Lock Handling in Stateless Model Checking 21:10
Effective Lock Handling In Stateless Model Checking
2020
Robustness Against Release/Acquire Semantics 19:46
Robustness Against Release/acquire Semantics
2020
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:06
Effective Lock Handling In Stateless Model Checking
2020
C++ : Acquire/Release versus Sequentially Consistent memory order 1:26
C++ : Acquire/release Versus Sequentially Consistent Memory ...
2024
Taming Release-Acquire Consistency 22:41
Taming Release-acquire Consistency
2017
Jan-Oliver Kaiser - Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in... 24:21
Jan-oliver Kaiser - Strong Logic For Weak Memory: Reasoning ...
2018
[POPL'23] Kater: Automating Weak Memory Model Metatheory and Consistency Checking 25:42
[popl'23] Kater: Automating Weak Memory Model Metatheory And...
2024
Symbolic Execution and Model Checking for Testing 1:00:48
Symbolic Execution And Model Checking For Testing
2008
The Hidden Secrets of Move Semantics - Nicolai Josuttis - CppCon 2020 1:05:30
The Hidden Secrets Of Move Semantics - Nicolai Josuttis - Cp...
2021
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.