Commit 3234a508 authored by Martin PORTALIER's avatar Martin PORTALIER

Update readme.md

parent 425ff442
Pipeline #19286 failed with stages
in 2 minutes and 48 seconds
......@@ -11,7 +11,7 @@ The proof is split in 4 files that are independent except the main one :
- main_theorem : formalization and proof that the job response time is bounded and reached.
- intermediate : definition of an analyse interval and proofs of lemmas on it.
- workload_bound_fp : proof that the workload is bounded and this bound is reached.
- workload_bound_fp : proof that the workload is bounded by the 'workload bound'.
- facts : usefull trivial lemmas about arithmetic and logic.
### Hypothesis
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment