@article {El-Zawawy12-4,
	title = {Dynamic Verification for File Safety of Multithreaded Programs},
	journal = {IJCSNS International Journal of Computer Science and Network Security},
	volume = {12},
	number = {5},
	year = {2012},
	note = {<p>n/a</p>
},
	month = {May},
	pages = {14-20},
	abstract = {<p>In this paper, we present a new semantics to check file safety of multithreaded programs. A file-safe program is one that reaches a final configuration under the proposed semantics. We extend the While language with file operations and multi-threading commands, and call the new language whilef. This paper shows that the file safety is an un-decidable property for whilef. The file safety becomes a decidable property in a special case shown in this paper. The case happens when users provide pointer information. If the file is safe we call it a strongly safe file program. We modify the syntax and the semantic of the language and called it SafeWhilef.</p>
},
	attachments = {https://scholar.cu.edu.eg/sites/default/files/maelzawawy/files/dynamic_verification_for_file_safety_of_multithreaded_programs.pdf},
	author = {Mohamed A. El-Zawawy and Nagwan M. Daoud}
}
