Verifying periodic programs with priority inheritance locks.

Sagar Chaki, Arie Gurfinkel, Ofer Strichman

Browse the full FMCAD paper archive.