News

  • [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!