Daniel Neider, Rajarshi Roy 0002. What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications. In Nils Jansen 0001, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll 0001, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 0001, editors, Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Volume 15262 of Lecture Notes in Computer Science, pages 109-125, Springer, 2025. [doi]
Abstract is missing.