• [2026.02] Seeun joined our lab. Welcome!
• [2026.01] Our paper “RL-based Heuristic Learning for Model Checking” has been accepted to KCSE 2026.
• [2026.01] Byoungho received the Distinguished Paper Award at VMCAI 2026. Congratulations!
• [2025.11] Our paper “A Formal Executable Semantics of PROMELA” has been accepted to VMCAI 2026.
• [2025.07] Our paper “Formal Analysis of Networked PLC Controllers Interacting with Physical Environments” has been accepted to SAS 2025.
• [2025.02] Hyeyoon joined our lab. Welcome!
• [2024.09] Our lab received SW STAR Lab Funding from the Ministry of Science and ICT.
• [2024.09] Geunyeol and Byoungho received Research Subsidies for Ph.D. Candidates from the National Research Foundation of Korea.
• [2024.07] Hyuksoon received Research Subsidies for M.S. Candidates from the National Research Foundation of Korea.
• [2024.06] Our paper “Rigorous Model Engineering of Multirate CPSs in Multirate HybridSynchAADL” has been accepted to ISOLA 2024.
• [2024.06] Our paper “Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption” has been accepted to FM 2024.
• [2024.05] Our paper “Formal Specification and Model Checking of TLS Software Security Requirements using Maude” has been accepted to the KIISE Journal.
• [2024.05] Geunyeol won the Best Paper/Presentation Award at WRLA 2024. Congratulations!
• [2024.03] Our paper “A Flexible Framework for Integrating Maude and SMT Solvers Using Python” has been accepted to WRLA 2024.
• [2024.02] Kyunwoo joined our lab. Welcome!
• [2023.12] Jueun received the KIISE Society Outstanding Paper Award. Congratulations!
• [2023.12] Our paper “Formal Specification of Trusted Execution Environment APIs” has been accepted to FASE 2024.
• [2023.09] Hyuksoon joined our lab. Welcome!
• [2023.06] Jueun received the KIISE Journal Outstanding Paper Award. Congratulations!
• [2022.12] Our paper “Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT” has been accepted to FTSCS 2022.
• [2022.11] Our paper “An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs” has been accepted to ISOLA 2022.
• [2022.09] Byoungho joined our lab. Welcome!
• [2022.05] Our paper “STLmc: Robust STL Model Checking of Hybrid Systems using SMT” has been accepted to CAV 2022.
• [2021.12] Jueun received the KSC 2021 Outstanding Paper Award. Congratulations!
• [2021.12] Our paper “Layered Abstraction Technique for Effective Formal Verification of Deep Neural Networks” has been accepted to KIISE 2021.
• [2021.12] Our paper “Layered Abstraction for Formally Verifying Deep Neural Networks” has been accepted to KSC 2021.
• [2021.11] Our paper “Efficient SMT-Based Model Checking for Signal Temporal Logic” has been accepted to ASE 2021.
• [2021.09] Seunghyun joined our lab. Welcome!
• [2020.03] Our paper “Maude-SE: A Tight Integration of Maude and SMT Solvers” has been accepted to WRLA 2020.
• [2020.02] Jueun joined our lab. Welcome!
• [2019.02] Geunyeol and Jaehun joined our lab. Welcome!