459 citations · 3k across the 59 of their papers we have counts for
1 paper · 1 filter
Yulin Ding, Y. Ding, Yan Zhang +1
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update tow…