Model checking operator procedures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1680, Issue , 1999, Pages 200-215

  Zhang, Wenhui ^a  

^a INSTITUTE FOR ENERGY TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

NUCLEAR FUELS; NUCLEAR INDUSTRY;

IN-PROCESS; INCREMENTAL MODELLING; INCREMENTAL STRATEGY; LARGE SYSTEM; MODEL CHECKER; NUCLEAR-POWER INDUSTRY; POTENTIAL ERRORS;

MODEL CHECKING;

EID: 35048855078     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48234-2_16     Document Type: Conference Paper

References (13)

1. M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems 17(3):507-534. May 1995.
2. J. R. Burch, E. M. Clarke and D. E. Long. Symbolic Model Checking with Partitioned Transition Relations. International Conference on Very Large Scale Integration, pp. 49-58. North-Holland, August 1991.
3. O. Grumberg and D. E. Long. Model Checking and Modular Verification. ACM Transactions on Programming Languages and Systems 16(3):843-871. May 1994.
4. D. G. Hoecker, K. M. Corker, E. M. Roth, M. H. Lipner and M. S. Bunzo. Man-Machine Design and Analysis System (MIDAS) Applied to a Computer-Based Procedure-Aiding System. Proceedings of the Human Factors and Ergonomics Society 38th Annual Meeting 1: 195-199. 1994.
5. G. J. Holzmann. The Model Checker Spin. IEEE Transaction on Software Engineering 23(5): 279-295. 1997.
6. J. G. Kemeny. Report of the President’s Commission on the Accident at Three Mile Island. U.S. Government Accounting Office. 1979.
7. N. G. Leveson. Software System Safety and Computers. Addison-Wesley Publishing Company. 1995.
8. M. H. Lipner and S. P. Kerch. Operational Benefits of an Advanced Computerised Procedure System. 1994 IEEE Conference Record: Nuclear Science Symposium and Medical Imaging Conference: (1068-1072). 1995.
9. L. Reynes and G. Beltranda. A Computerised Control Room to Improve Nuclear Power Plant Operation and Safety. Nuclear Safety 31(4):504-511. 1990.
10. T. Sivertsen and H. Valisuo. Algebraic Specification and Theorem Proving used in Formal Verification of Discrete Event Control Systems. OECD Halden Reactor Project Report: HWR-260, Institute for Energy Technology, Norway. 1989.
11. J. Teigen and J. E. Hulsund. COPMA-III - Software Design and Implementation Issues. OECD Halden Reactor Project Report: HWR-509, Institute for Energy Technology, Norway. 1998.
12. H. J. Touati, H. Savoj, B. Lin, R. K. Brayton and A. Sangiovanni-Vincentelli. Implicit State Enumeration of Finite State Machines Using BDDs. IEEE International Conference on Computer-Aided Design, pp. 130-133. IEEE Computer Society Press, November 1990.
13. K. Ylikoski and G. Dahll. Verification of Procedures. OECD Halden Reactor Project Report: HWR-318, Institute for Energy Technology, Norway. 1992.