Languages

Formal reasoning about concurrent assembly code with reentrant locks

TitleFormal reasoning about concurrent assembly code with reentrant locks
Publication TypeConference Paper
Year of Publication2009
AuthorsFu M, Zhang Y, Li Y
Conference Name3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2009)
Date Published07/2009
Conference LocationTianjin, China
Keywordsconcurrent separation logic, program logic, reentrant locks, safety
AttachmentSize
tase2009.pdf89.95 KB
impl.rar50.53 KB