Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.

Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-Franois Monin

Browse the full RTSS paper archive.