Using model checking to debug device firmware (2002)

by Sanjeev Kumar
Venue:In 5th Symp on Operating Systems Design and Impl
Citations:8 - 0 self