Compositional Correctness and Completeness for Symbolic Partial Order Reduction

Autor: Kløvstad, Åsmund Aqissiaq Arild, Kamburjan, Eduard, Johnsen, Einar Broch

Publikováno v: Kløvstad, Åsmund Aqissiaq Arild Kamburjan, Eduard Johnsen, Einar Broch . Compositional Correctness and Completeness for Symbolic Partial Order Reduction. Leibniz International Proceedings in Informatics. 2023, 279, 9:1-9:16
Leibniz International Proceedings in Informatics

Externí odkaz: http://hdl.handle.net/10852/106338