henkele
henkele
> Some remarks on what we currently call "BndEntryConditionPattern": > `, it is always the case that after "R" holds for at least "t" time units, then "Q" holds` >...
As we got some new patterns within the last year, I came up with a new naming convention that works for the old and new patterns. The main problem was...