Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton. A Generic Coq Proof of Typical Worst-Case Analysis. In 2018 IEEE Real-Time Systems Symposium, RTSS 2018, Nashville, TN, USA, December 11-14, 2018. pages 218-229, IEEE Computer Society, 2018. [doi]
Abstract is missing.