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…