Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems.

Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann

Browse the full PRDC paper archive.