<h2>Core</h2>
-<p>
+<ul>
+<li>
C source code → Abstract Syntax Tree
-</p>
+<li>
+ACSL — ANSI/ISO C Specification Language <br>
+<code>/*@ ... */</code>
+</ul>
<h2>Plugins</h2>
<p>
Annotate syntax trees with static analysis.
</p>
+
+<ul>
+<li> WP — <a href="http://www.cs.umd.edu/~mvz/handouts/weakest-precondition.pdf">Weakest Precondition</a>
+<li> Value analysis, Jessie, InOut, Metrics, Aorai, PathCrawler, Spare code, ...
+<li> several in-house plugins at Atos, Airbus, Dassault, CEA, ...
+</ul>