To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Dynamic Verification for File Safety of Multithreaded Programs |
|
Author |
Mohamed A. El-Zawawy, Nagwan M. Daoud |
| Citation |
Vol. 12 No. 5 pp. 14-20 |
|
Abstract |
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. |
|
Keywords |
File safety, Operational semantics, Rewriting logic, Multi-threaded programs |
|
URL |
