Work-conservation transformation and proof. (!85) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

The source project of this merge request has been removed.

Merged Ghost User requested to merge (removed):work-conservation-transformation into master 5 years ago

Added the proof of correctness of the work-conservation transformation for an ideal uniprocessor schedule.

Activity

Björn Brandenburg @bbb · 5 years ago

Owner

Thanks a lot for the MR!

One thing I just noticed: the file wc_correctness.v is in the wrong location; the folder organization changed in master before the v0.4 release. Could you please move it to analysis/facts/transform where the proofs about the EDF transformation are, too?
Ghost User added 1 commit 5 years ago
added 1 commit

57806e76 - Work-conservation transformation and proof.

Compare with previous version
Björn Brandenburg merged 5 years ago

merged

Please register or sign in to reply