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

Figure 2

Prospec's pattern screen.