Publications

2022

1. Byeongjee Kang and Kyungmin Bae. Symbolic Reachability Analysis of Distributed Systems Using Narrowing and Heuristic Search. In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, pp. 34–44, Association for Computing Machinery, New York, NY, USA, 2022.
   doi