To search, Click below search items.

 

All Published Papers Search Service

Results for File safety; Total 1

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

Keywords

File safety, Operational semantics, Rewriting logic, Multi-threaded programs

[1]