1 |
Standard Hardware Description Language Based on the Verilog Hardware Description Language (Std 1364-2001), IEEE, 2003
|
2 |
Jain, H., Sharygina, N., Kroening, D. and Clarke, E., "Word Level Predicate Abstraction and Re-finement for Verifying RTL Verilog," In Proc. 42nd Design Automation Conference (DAC), Anaheim, USA, 2005
|
3 |
Bani Younis. M, and Frey, G., “Formalization of Existing PLC Programs: A Survey,” Proceedings of CESA 2003, Lille, France, July 9-11, 2003
|
4 |
International Standard for Programmable Controllers: Programming Languages (Part 3), IEC, 1993
|
5 |
원전계측제어시스템 개발사업단 (KNICS: Korea Nuclear Instrumentation and Control System Research and Development Center), http://www.knics. re.kr
|
6 |
Baresi, L., Mauri, M., Monti, A. and Pezze, M., “PLCTOOLS: Design, Formal Validation, and Code Generation for Programmable Controllers,” FormaI methods in PLC programming Special Session at IEEE Conference on Systems, Man and Cybernetics (SMC'2000), Nashville, USA, Oct. 8-11, 2000
DOI
|
7 |
KNICS-RPS-SDS231 (Rev.02), 원자로보호계통 소프트웨어 설계 명세서, 두산중공업(주), 2007
|
8 |
Mader, A., “A Classification of PLC Models and Applications,” Proc. WODES 2000: 5th Workshop on Discrete Event Systems, Gent, Belgium, Aug. 21-23, 2000
|
9 |
유준범, "NuSCR 정형명세로부터 Function Block Diagrams의 생성", 박사학위논문, KAIST, 2005
|
10 |
sm2vcd,
|
11 |
CBMC, Bounded Model Checking for ANSI-C,
|