Digital Library

Search: "[ keyword: Model Checking ]" (9)
    A Model Translator for Checking Behavioral Consistency of Abstract Components
    Hoon Jang , Min Gyu Park , Yun Ja Choi The KIPS Transactions:PartD, Vol. 18, No. 6, pp. 443-450, Dec. 2011
    10.3745/KIPSTD.2011.18.6.443


    Improvement of a Simulink Debugger Capacity for Model Verification
    Seong Jo Kim , Hong Seok Lee , Kyung Hee Choi , Ki Hyun Chung The KIPS Transactions:PartD, Vol. 17, No. 2, pp. 111-118, Apr. 2010
    10.3745/KIPSTD.2010.17.2.111


    Formal Verification of Embedded Java Program
    Tae Hoon Lee , Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 12, No. 7, pp. 931-936, Dec. 2005
    10.3745/KIPSTD.2005.12.7.931


    Automatic Verification of the Control Flow Model for Effective Embedded Software Design
    Sa Choun Park , Gi Hwon Kwon , Soon Hoi Ha The KIPS Transactions:PartA, Vol. 12, No. 7, pp. 563-570, Dec. 2005
    10.3745/KIPSTA.2005.12.7.563


    Efficient Counterexample Generation for Safety Violation in Model Checking
    Tae Hoon Lee , Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 12, No. 1, pp. 81-90, Feb. 2005
    10.3745/KIPSTD.2005.12.1.81


    Abstraction of Models with State Projections in Model Checking
    Gi Hwon Kwon The KIPS Transactions:PartD, Vol. 11, No. 6, pp. 1295-1300, Oct. 2004
    10.3745/KIPSTD.2004.11.6.1295


    Efficient Counterexample Generation for Game Solving in NuSMV
    Kwon Gi Hyeon , Lee Tae Hun The KIPS Transactions:PartD, Vol. 10, No. 5, pp. 813-820, Aug. 2003
    10.3745/KIPSTD.2003.10.5.813


    Using Model Checking to Verify an Automotive Electric Parking Brake System
    Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 167-176, Apr. 2017
    10.3745/KTSDE.2017.6.4.167
    Keywords: Model Checking, Automotive Verification, Formal Verification, Safety Requirement


    Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
    Dongwoo Kim, Yunja Choi KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 615-622, Dec. 2016
    10.3745/KTSDE.2016.5.12.615
    Keywords: Automotive Software, API, Constraint Pattern, Static Analysis, Model Checking


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals