Items where authors include "Hur, Chung-Kil"

Article

Foster, Simon David orcid.org/0000-0002-9889-9514, Hur, Chung-Kil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2024) Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. ACM Transactions on Software Engineering and Methodology. ISSN 1049-331X (In Press)

Proceedings Paper

Foster, Simon orcid.org/0000-0002-9889-9514, Hur, Chung-Kil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL. In: International Conference on Concurrency Theory (CONCUR 2021). UNSPECIFIED. LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany .

Preprint

Foster, Simon orcid.org/0000-0002-9889-9514, Hur, Chung-Kil and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2024) Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL. [Preprint]