Huan Sun, David Sanán, Jun Sun 0001, Wenhai Wang. Modeling and Verifying Concurrent Reactive Systems Using Separation Logic. In Étienne André, Jingyi Wang 0004, Naijun Zhan, editors, Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings. Volume 16229 of Lecture Notes in Computer Science, pages 247-265, Springer, 2025. [doi]
Abstract is missing.