1 |
Ki-Du Kim, A Study on Reliability Evaluation for Embedded Software, The Institute of Internet, Broadcasting and Communications, Vol.9, No.3, 2009
|
2 |
Sung-jin Park, Preparation for dynamic testing and failure detection of Safety-cretical software using a Advanced static analysis tool, Embeddedworld, No.11, 2010
|
3 |
Seung-Hwa Song, Graphical Presentation Model for Static Analysis of Software, Korea Computer Congress, Vol.34, No.1, 2007
|
4 |
Won-Il Gwun,Practical Software Testing Foundation, STA Consulting Inc., 2010
|
5 |
John Rushby, Formal Method and the certification of Critical Systems, Technical Report CSL-93-7, SRI International, Menro Park, CA, 1993
|
6 |
Chang-Hun Sung, Development Methodology of Safety-Critical System Using Formal Method, Vol.27. No.2 , 2000
|
7 |
P.Cousot, Formal Verification by Abstract interpretation, 4th NASA Formal Methods Symposium(NFM2012), Lecture Notes in Computer Science Volume 7226, 2012, pp 3-7
|
8 |
Code Verification and Run-Time Error Detection Through Abstract Interpretation, white paper, mathworks
|