ISSN : 2319-7323

INTERNATIONAL JOURNAL OF COMPUTER SCIENCE ENGINEERING

ABSTRACT

Title	:	Stateless Model Checking for the C/C++11 Memory Model
Authors	:	Ishita Jaju, Dr. B V A N S S Prabhakar Rao
Keywords	:	C11 Memory Model, Model Checking, Program Verification, Relaxed Memory
Issue Date	:	May-Jun 2020
Abstract	:	The C11 memory model is a relaxed model that works on top of an architecture. This model has many intriguing properties which help in the efficiency of a program but these may also cause certain unexpected behaviors. Such behavior violations are a cause of annoyance to programmers. There exist some C11/C++11 model checking tools which analyze the given program and produce examples in the form of execution traces when such behavior violation may take place. In this paper, we discuss four such model checking tools and compare them on the basis of their performance on some example programs.
Page(s)	:	180-186
ISSN	:	2319-7323
Source	:	Vol. 9, No. 3
DOI	:	10.21817/ijcsenet/2020/v9i3/200903013