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...