Exploring Jonsson Sagonas Testing And Verifying Concurrent Algorithms Using Stateless Model Checking
Let's dive into the details surrounding Jonsson Sagonas Testing And Verifying Concurrent Algorithms Using Stateless Model Checking.
- Generative
- Verified
- Authors: Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis Presented at SPLASH 2019.
- Paper: https://dl.acm.org/citation.cfm?id=3276505 We present a framework for the efficient application of
- Idea of synchronous and asynchronous composition, mutual exclusion and another example of
In-Depth Information on Jonsson Sagonas Testing And Verifying Concurrent Algorithms Using Stateless Model Checking
In this talk we will report on our recent experiences in employing Stateless model checking Testing So
Description of a typical situation in the execution of
That wraps up our extensive overview of Jonsson Sagonas Testing And Verifying Concurrent Algorithms Using Stateless Model Checking.