diff --git a/content/en/_index.en.md b/content/en/_index.en.md index cb05e25..29f5fb9 100644 --- a/content/en/_index.en.md +++ b/content/en/_index.en.md @@ -1,6 +1,6 @@ --- title: "DéCySif" -description: "Formal verification in the service of safety" +description: "Formal verification in the service of safety and security" cascade: featured_image: '/images/Decysif.png' type: page