5 citations · 19 across the 12 of their papers we have counts for
1 paper · 1 filter
Bugra M. Yildiz, Arend Rensink, Christoph Bockisch +1
Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction…