Interactively Verifying a Simple Real-time Scheduler.

Colin J. Fidge, Peter Kearney, Mark Utting

Browse the full CAV paper archive.