diff --git a/caisar.opam b/caisar.opam
index 00fd5054df8d1e913bf44f3d575eed60705d37a2..8cc6922deb18eb43a42b5155f7e5e5527a199382 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -1,7 +1,8 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 version: "0.1"
-synopsis: "Framework for neural network verification"
+synopsis:
+  "Platform for characterizing the safety and robustness of artificial intelligence based software."
 depends: [
   "ocaml" {>= "4.13.0"}
   "dune-site" {= "2.9.0"}
diff --git a/dune-project b/dune-project
index 539379a5fb7dc9539fdafec70f6054fe050d716b..c1bf82032cff546c69ad17ea2e3a93c82b0552b9 100644
--- a/dune-project
+++ b/dune-project
@@ -11,7 +11,7 @@
 
 (package
   (name caisar)
-  (synopsis "Framework for neural network verification")
+  (synopsis "Platform for characterizing the safety and robustness of artificial intelligence based software.")
   (depends
    (ocaml (>= 4.13.0))
    (dune-site (= 2.9.0))
diff --git a/src/main.ml b/src/main.ml
index 681a3e9bf94df4bfaf19a813f811597f8157a1ff..414856211a6fbc07c1c94890cdc4926afb1f9d5c 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -193,7 +193,10 @@ let verify_cmd =
     Term.info cmdname ~sdocs:Manpage.s_common_options ~exits ~doc ~man )
 
 let default_cmd =
-  let doc = "Framework for neural networks property verification and more." in
+  let doc =
+    "Platform for characterizing the safety and robustness of artificial \
+     intelligence based software."
+  in
   let sdocs = Manpage.s_common_options in
   let man =
     [