A Generic Coq Proof of Typical Worst-Case Analysis

Article Details
Title:	A Generic Coq Proof of Typical Worst-Case Analysis
Article URLs:	https://doi.org/10.1109/RTSS.2018.00039 http://doi.ieeecomputersociety.org/10.1109/RTSS.2018.00039
Alternative Article URLs:
Authors:	Pascal Fradet	Univ. Grenoble Alpes Inria CNRS Grenoble INP LIG
	Maxime Lesourd	Univ. Grenoble Alpes Inria CNRS Grenoble INP LIG VERIMAG
	Jean-François Monin	Univ. Grenoble Alpes CNRS Grenoble INP VERIMAG
	Sophie Quinton	Univ. Grenoble Alpes Inria CNRS Grenoble INP LIG
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://team.inria.fr/spades/twcaproofs/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/rtss/FradetLMQ18
Author Comments:

IEEE Real-Time Systems Symposium, RTSS 2018