1 |
Minhyuk Kwon, Seungcheol Shin, "A Experiment report for a LD-to-SMV translator," http://pllab. kut.ac.kr/tr/2009/ld2smvexp.pdf, Technical Report, PLLAB, Korea University of Technology and Education, 2009.
|
2 |
Probst, S. T., Powers, G. J., Long, D. E., and Moon, I., "Verification of a Logically Controlled Solid Transport System Using Symbolic Model-Checking," Department of Computer and Chemical Engineering, carnegie Mellon University, 1996.
|
3 |
IEC, "International Standard IEC 61131-3 Programmable controllers-Part3: Programming languages 2nd Edition," International Electrotechincal Commission, 2003.
|
4 |
Seungcheol Shin, Minhyuk Kwon, Sanghoon Rho, "Whimori CDK: a Control Program Development Kit," The International Conference of COMPUTING in Engineering, Science and Informatics (ICC2009), 2009.
|
5 |
M. Rausch and B. H. Krogh, "Formal Verification of PLC Programs," In Proc. American Control Conference, 1998.
|
6 |
O. Rossi, Ph. Schnoebelen, "Formal Modeling of Timed Function Blocks for the Automatic Verification of Ladder Diagram Programs," Proc. 4th Int. conf. Automation of Mixed Processes:Hybrid Dynamic systems (ADPM), Dortmund, Germany, Sept. 2000.
|
7 |
Probst, S. T., "Chemical Process Safety and Operability Analysis Using Symbolic Model Checking," PhD Thesis, Department of Chemical Engineering, Carnege Mellon University, 1996.
|
8 |
Roberto C., et al., "NuSMV 2.4 User Manual," ITC-irst, Carnege Mellon University, 2005.
|