Discussion on Definition and Use of Variables in Z Formal Specifications: An Example
Qing Mao, Fangjun Wu, Tong Yi, Juan Chen, Yi Hu, Huaiguo Xu, Xiaoli He · 2009
Z Formal method not only can improve correctness and reliability of software, but also improve development efficiency. Although Z specifications have been widely studied in literatures, very little work is involved in definition and use of variables. This paper discussed on definition and use of variables by an example. Finally, it is applied to data flow analysis and data dependent analysis.