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

Bedarkar, Kimaya; Vardishvili, Mariam; Bozhko, Sergey; Maida, Marco; Brandenburg, Björn

doi:10.1109/RTSS55097.2022.00026

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

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

MPS-Authors

/persons/resource/persons290015

Bedarkar, Kimaya
Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons290017

Vardishvili, Mariam
Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons270388

Bozhko, Sergey
Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons275137

Maida, Marco
Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144516

Brandenburg, Björn
Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Bedarkar, K., Vardishvili, M., Bozhko, S., Maida, M., & Brandenburg, B. (2022). From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. In RTSS 2022 (pp. 197-210). Piscataway, NJ: IEEE. doi:10.1109/RTSS55097.2022.00026.

Cite as: https://hdl.handle.net/21.11116/0000-000D-4028-E

Abstract

There is no abstract available