Publications

2022

  1. Kang, B., & Bae, K. (2022). Symbolic Reachability Analysis of Distributed Systems Using Narrowing and Heuristic Search. Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 34–44. https://doi.org/10.1145/3563822.3568017
    doi