--- layout: default title: Publications description: Access to all publications related to the Frama-C analysis platform, including research papers, tutorials, technical reports and user manuals. css: publications ---
{% include headers.html header="publications" %}

Publications

Frama-C Framework

{% include publication-entries.html title="Manuals" category="manual" plugin="general" %} {% include publication-entries.html title="Foundational" category="foundational" plugin="general" %} {% include publication-entries.html title="About the Frama-C Kernel" category="kernel" plugin="general" %} {% include publication-entries.html title="About the Frama-C Graphical User Interface" category="ivette" plugin="general" %} {% include publication-entries.html title="Tutorials" category="tutorial" plugin="general" %} {% for category in site.data.publications %}

{{ category.name }}

{% for plugin in category.plugins %}

{{ plugin.name }}

{% include publication-entries.html title="Manuals" category="manual" plugin=plugin.id %} {% include publication-entries.html title="Theses" category="phdthesis" plugin=plugin.id %} {% include publication-entries.html title="Foundational" category="foundational" plugin=plugin.id %} {% include publication-entries.html title="Tutorials" category="tutorial" plugin=plugin.id %} {% include publication-entries.html title="Others" category="other" plugin=plugin.id %} {% endfor %} {% endfor %}

Theses related to Frama-C

{% include publication-entries.html title="" category="phdthesis" %}
{% include footer.html %}