Computer Safety, Reliability and Security

Volume 2434 of the series Lecture Notes in Computer Science pp 113-125


A Strategy for Improving the Efficiency of Procedure Verification

  • Wenhui ZhangAffiliated withLaboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

* Final gross prices may vary according to local VAT.

Get Access


Verification of operating procedures by model checking has been discussed in [11], [12]. As an execution of a procedure may affect or be affected by many processes, a model of the procedure with its related processes could be very large. We modify the procedure verification approach [11], [12] by introducing two strategies that make use of detail knowledge of procedures in order to reduce the complexity of model checking. A case study demonstrates the potential advantages of the strategies and shows that the strategies may improve the efficiency of procedure verification significantly and therefore scale up the applicability of the verification approach.