Thread Verification - An Experience Report

doi:10.1016/j.entcs.2007.04.006

Electronic Notes in Theoretical Computer Science

Volume 174, Issue 9, 22 June 2007, Pages 49-61

https://doi.org/10.1016/j.entcs.2007.04.006 Get rights and content

Under a Creative Commons license

open access

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.

Keywords

Verification

model checking

reuse Libraries

POSIX threads

Linux

Cited by (0)

²: Acknowledgements: The Army Research Office (DAAD19-01-1-0473) and NASA for supporting this research.