Open AccessStateless Model Checking for the C/C++11 Memory Model
Author(s) -
Ishita Jaju,
B.V.A. Rao
Publication year - 2020
Publication title -
international journal of computer science engineering
Language(s) - English
Resource type - Journals
ISSN - 2319-7323
DOI - 10.21817/ijcsenet/2020/v9i3/200903013
Subject(s) - stateless protocol , model checking , computer science , memory model , programming language , parallel computing , shared memory , state (computer science)