Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg. From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. In IEEE Real-Time Systems Symposium, RTSS 2022, Houston, TX, USA, December 5-8, 2022. pages 197-210, IEEE, 2022. [doi]
Abstract is missing.