From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling.

Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Bjrn B. Brandenburg

Browse the full RTSS paper archive.