Publications
2022
- 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.