--- css: documentation layout: default title: Documentation - Frama-C ---
{% include headers.html header=4 %}
Documentation

Documentation

All the documentation
you need !

PLUG-INS

Link Test

This is a test to see if HTTP link is accepted instead of PDF

Read More

Studia

Studia helps with EVA case studies on the GUI.

WP

Deductive proofs of ACSL contracts

Read More

E-ACSL

Runtime Verification Tool

Read More

PathCrawler

PathCrawler automatically finds test-case inputs to ensure coverage of a C function. It can be used for structural unit testing, as a complement to static analysis or to study the...

Read More

Mthread

Analyzes concurrent C programs, taking into account all possible thread interactions. Provides precise information about shared variables, which mutex protects a part of the code, etc.

Read More

Metrics calculation

Allows the user to compute various metrics from the source code.

Read More

Variadic

Variadic simplifies variadic functions for other plug-ins.

Read More

Evolved Value Analysis (EVA)

Automatically computes variation domains for the variables of the program.

Read More
ACSL (ANSI/ISO-C Specification Language)

ACSL Reference Manual

Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industrys standard dummy text ever since the 1500s, when an unknown printer took...

{% include footer.html %}