Handbook of theoretical computer science (vol. B)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the Verification of Temporal Properties
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Model Checking Operator Procedures
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
A Strategy for Improving the Efficiency of Procedure Verification
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Hi-index | 0.00 |
Automatic procedures and manual procedures play important roles in the control of power plants. Their correctness is of great importance to the safe operation of power plants. Testing of such procedures is difficult, especially because of the problem of errors in specifications. By verifying high level specifications of automatic procedures and formalised specifications of manual procedures against an abstract plant model and a set of correctness requirements, this problem can be overcome to some extent. This paper describes the basic idea of such verification. It suggests using the verification approach as a complementary aid to traditional verification and validation which may involve different aspects including human factors.