package rocq-prosa-refinements
Refinements of Prosa RTAs used by POET
Install
Dune Dependency
Authors
Maintainers
Sources
rt-proofs-v0.6.tar.gz
sha512=128dd213e687653a6ad5a55f33e76d39f4301f4fb22ff2c58379bb9d727ada00da776beee213e89b6be117f4db7c7bd73e467e28f57dfbee017891a4121e6228
Description
Prosa-specific refinements used by POET, a foundational response-time analysis (RTA) tool.
Tags
keyword:prosa keyword:poet keyword:real-time keyword:response-time analysis keyword:scheduling theory logpath:prosa.refinementsPublished: 31 Oct 2025
Dependencies (2)
-
coq-coqeal
>= "2.1.0" -
rocq-prosa
= "0.6"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page