Clearly, modifying thread queues and TCBs would drastically change the behaviors of threads. Therefore, a correct implementation of thread management is crucial ...

In this paper, we propose a novel two-layer framework to verify concurrent thread management. We choose a lower abstraction level than the previous approaches, ...

Nov 25, 2015 · Modular Verification of Concurrent Thread Management. Last modified: Wed Nov 25 05:59:22 2015 GMT. Authors. Yu Guo · Xinyu Feng · Zhong Shao

Exchangers allow threads to pair up and atomically swap elements so that either both threads manage to swap their elements or none of them does. Although ...

In this paper, we propose a novel two-layer framework to verify concurrent thread management. We choose a lower abstraction level than the previous approaches, ...

This task has come to be known as program verification. A formal approach to program verification is essential when working with several processes which are ...

Modular Verification of Concurrent Thread Management · List of references · Publications that cite this publication.

A classical thread-modular approach to verification is to con- sider the system as composed of a “main” thread and a con- text which is an abstraction of all ...

Missing: Management. | Show results with:Management.

Thread-modular verification is a promising approach for the verification of concurrent programs. Its high efficiency is achieved by abstracting the ...