Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka. Two Decades of Industrializing Formal Verification: The Reactis Story. In Thomas Neele, Anton Wijs, editors, Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Volume 14624 of Lecture Notes in Computer Science, pages 87-105, Springer, 2024. [doi]
Abstract is missing.