Research Article

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Figure 1

BA for “ 𝑎 𝑏 ”.
869182.fig.001