Verifying the Implementation of an Operating System Scheduler.

Moritz Kleine, Bjrn Bartels, Thomas Gthel, Sabine Glesner

Browse the full TASE paper archive.