Bridging the B-Method and ACSL: Towards Verified C Code

Fagner Dias, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte. Bridging the B-Method and ACSL: Towards Verified C Code. In Maurice H. ter Beek, Leopoldo Teixeira, editors, Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings. Volume 16363 of Lecture Notes in Computer Science, pages 39-60, Springer, 2025. [doi]

Abstract

Abstract is missing.