2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…