Frama-C - Framework for Modular Analysis of C programsLatest News 2024-08-08 The Guide to Software Verification with Frama-C is available 2024-08-05 The slides presented at Frama-C Days 2024 are available 2024-06-06 Release of Frama-C 29.0 (Copper) 2024-05-14 Beta release of Frama-C 29.0~beta (Copper) 2024-04-15 Frama-C Days 2024 2024-03-25 Frama-Clang v0.0.15 for Frama-C 28.0 Nickel 2024-03-01 Release of Frama-C 28.1 (Nickel) 2024-02-16 MetAcsl v0.6
