Frama-C
Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. Frama-C, as a static analyzer, inspects programs without executing them.
Wikipage redirect
primaryTopic
Frama-C
Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives and Inria. Frama-C, as a static analyzer, inspects programs without executing them.
has abstract
Frama-C stands for Framework f ...... ograms without executing them.
@en
license
operating system
programming language
Link from a Wikipage to an external page
Wikipage page ID
22,628,771
Wikipage revision ID
733,817,757
language
subject
comment
Frama-C stands for Framework f ...... ograms without executing them.
@en
label
Frama-C
@en
wasDerivedFrom
homepage
isPrimaryTopicOf
name
Frama-C
@en