Formal Verification of Overhead Accounting in an Avionics RTOS.

Darren D. Cofer, Murali Rangarajan

Browse the full RTSS paper archive.