Formal Method B and Its Program Specification Theory
Jinyun Xue · Jisuanji gongcheng · 2004
Developing software using formal method is a revolutionary way to develop software reliability and efficiency, and is key to realize software automation. This paper introduces the outline about formal method B, analyses its program specification principle and uses it to solve a detailed problem. Finally, conclusion and further research are given.