Descriptions: verification -> analysis

html/overview.md

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

html/tutorials.html

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