A Generic Coq Proof of Typical Worst-Case Analysis.

Pascal Fradet, Maxime Lesourd, Jean-Franois Monin, Sophie Quinton

Browse the full RTSS paper archive.