From fbc7451a7bac74e8ddc6ade943945ee07521c48a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 16 Nov 2020 16:50:38 +0100
Subject: [PATCH] Descriptions: verification -> analysis

---
 html/overview.md    | 2 +-
 html/tutorials.html | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/overview.md b/html/overview.md
index 7dc6d59b..6bd6d02a 100644
--- a/html/overview.md
+++ b/html/overview.md
@@ -1,7 +1,7 @@
 ---
 layout: overview_page
 title: Overview - Frama-C
-description: Quick description of Frama-C, the C programs verification framework.
+description: Quick description of Frama-C, the C programs analysis platform.
 video: "https://www.youtube-nocookie.com/embed/WBXPDfz2u1c"
 ---
 
diff --git a/html/tutorials.html b/html/tutorials.html
index 0ed25fb2..26c3270a 100644
--- a/html/tutorials.html
+++ b/html/tutorials.html
@@ -1,7 +1,7 @@
 ---
 layout: default
 title: Tutorials
-description: Learn how to use the Frama-C verification platform analyzers with these tutorials.
+description: Learn how to use the Frama-C analysis platform with these tutorials.
 css: publications
 ---
 
-- 
GitLab