• Sergey Bozhko's avatar
    tighten response-time recurrence for EDF · d6cdcfe1
    Sergey Bozhko authored
    When we were writing the paper on Abstract RTA, we noticed that the response-time recurrence for EDF does not match the known bound.
    
    This merge request tightens the analysis in Prosa to match the known bound.
    d6cdcfe1
response_time_bound.v 33.6 KB