Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.

Saurabh Gadia, Cyrille Artho, Gedare Bloom

Browse the full ICFEM paper archive.