PV0 Prosa: formally PROven Schedulability Analysisa repository of definitions and proofs for real-time schedulability analysis

a repository of models/definitions and analyses/proofs for real-time schedulability analysis, built and verified with Coq

Application domain/field

Schedulability

Type of tool

Zoo

Internals

Coq

Comments

Could fit on PV0 but contains fully verified specs
Library

Links

Last commit date

12 May 2022

Related papers

https://doi.org/10.1007/978-3-030-25543-5_28 (CAV 2019)

Last publication date

December 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.