NDSeq
Published • Jun 4, 2011
NobleIDNI9P14W01R56S22
Authors:,,
Jacob Burnim
Tayfun Elmas
George C. Necula
Abstract
We propose to specify the correctness of a program's parallelism using a sequential version of the program with controlled nondeterminism. Such a nondeterministic sequential specification allows (1) the correctness of parallel interference to be verified independently of the program's functional cor...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!