| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422791 | Electronic Notes in Theoretical Computer Science | 2007 | 13 Pages |
Abstract
The paper details the author's thread verification experiences with four applications: Linux kernel code, the Red Hat Linux POSIX Thread library, a portable PThread library, which was developed by the author for NASA, and a HandyChecker prototype. Based on the author's experiences, the paper concludes with a list of challenges for the verification community.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
