publis

_data/publications.yml

+- id: public
+  name: Plug-ins distributed with Frama-C
+  short: Distributed plug-ins
+  plugins:
+  - id: eva
+    name: Eva, an Evolved Value Analysis
+    short: Eva
+  - id: wp
+    name: WP
+  - id: e-acsl
+    name: E-ACSL
+  - id: aorai
+    name: Aoraï
+  - id: slicing
+    name: Security slicing
+    short: Slicing
+- id: internal
+  name: Internal plug-ins at CEA
+  short: Internal plug-ins
+  plugins:
+  - id: cfp
+    name: CFP
+  - id: metacsl
+    name: MetACSL
+  - id: pathcrawler
+    name: PathCrawler
+  - id: rpp
+    name: RPP
+  - id: secureflow
+    name: SecureFlow
+- id: external
+  name: External plug-ins
+  plugins:
+  - id: jessie
+    name: Jessie
+  - id: cost
+    name: Cost
+  - id: c2s
+    name: Conc2Seq
+  - id: fanc
+    name: Fan-C
+  - id: sante
+    name: SANTE
+  - id: sidan
+    name: SIDAN
+  - id: stac
+    name: STAC
+  - id: stady
+    name: StaDy
+  - id: taster
+    name: Taster
\ No newline at end of file