Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov. No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. In Marieke Huisman, Falk Howar, editors, Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings. Volume 15153 of Lecture Notes in Computer Science, pages 65-83, Springer, 2024. [doi]
Abstract is missing.