1 paper
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…