munta
munta copied to clipboard
Improved analysis of guaranteed execution
To correctly analyze local clock ceilings, we need to identify the set of clocks that are always reset on a certain edge. The current program analysis for this property is very restrictive. We should improve it by analyzing conditional branches.