48 citations · 84 across the 6 of their papers we have counts for
1 paper · 1 filter
Xiaohui Xu, Linpeng Huang, Dejun Wang +1
It is important to enable reasoning about the meaning and possible effects of updates to ensure that the updated system operates correctly. A formal, mathematical model of dynamic…