Research Article

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

Figure 4

LTL validation tool's output for the formula [ ] 𝑝 𝑞 .
869182.fig.004