Design and validation of computer protocols
Design and validation of computer protocols
Handbook of theoretical computer science (vol. B)
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safeware: system safety and computers
Safeware: system safety and computers
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Model Checking Operator Procedures
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Verification model reduction through abstractions
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Compositional Reasoning in Model Checking
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Validation of Control System Specifications with Abstract Plant Models
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Journal of Computer Science and Technology
Hi-index | 0.00 |
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.