Frama-C

Summary

Frama-C is a free software^[1]. Frama-C ranks in the top 9% of free_software entities by monthly Wikipedia readership (25 views/month).^[2]

Key Facts

• Frama-C's instance of is recorded as free software^[3].
• Frama-C's logo image is recorded as Frama-C logo, full.png^[4].
• Frama-C's developer is recorded as Alternative Energies and Atomic Energy Commission^[5].
• Frama-C's copyright license is recorded as GNU Lesser General Public License, version 2.1^[6].
• Frama-C's programmed in is recorded as OCaml^[7].
• Frama-C's operating system is recorded as Microsoft Windows^[8].
• Frama-C's operating system is recorded as FreeBSD^[9].
• Frama-C's operating system is recorded as Linux^[10].
• Frama-C's operating system is recorded as macOS^[11].
• Frama-C's software version identifier is recorded as 18.0^[12].
• Frama-C's has use is recorded as formal verification^[13].
• Frama-C's Freebase ID is recorded as /m/05zs53q^[14].
• Frama-C's official website is recorded as http://frama-c.cea.fr/^[15].
• Frama-C's official website is recorded as http://frama-c.com^[16].
• Frama-C's source code repository URL is recorded as https://git.frama-c.com/pub/frama-c^[17].
• Frama-C's external data available at URL is recorded as https://opam.ocaml.org/packages/frama-c/^[18].
• Frama-C's GUI toolkit or framework is recorded as GTK^[19].
• Frama-C's different from is recorded as Framasoft^[20].
• Frama-C's Open Hub ID is recorded as frama-c^[21].
• Frama-C's package management system is recorded as opam^[22].
• Frama-C's Debian stable package is recorded as frama-c^[23].
• Frama-C's AUR package is recorded as frama-c^[24].
• Frama-C's AUR package is recorded as frama-c-git^[25].
• Frama-C's copyright status is recorded as copyrighted^[26].
• Frama-C's Pro-Linux.de DBApp ID is recorded as 15109^[27].

Why It Matters

Frama-C ranks in the top 9% of free_software entities by monthly Wikipedia readership (25 views/month).^[2]