Languages

Cerification of Thread Context Switching

TitleCerification of Thread Context Switching
Publication TypeJournal Article
Year of Publication2010
AuthorsGuo Y, Jiang X-Y, Chen Y-Y
JournalJournal of Computer Science and Technology
Volume25(4)
Start Page827
Issue1
Pagination827-840
Date Published07/2010
ISSNISSN 1000-9000 (Print)
Keywordscontext, program, program safety, proof-carrying code, switching, verification
DOI10.1007/s11390-010-1064-9
AttachmentSize
swap.pdf588.52 KB