Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler.

Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi

Browse the full SAS paper archive.