diff --git a/README.md b/README.md
index 28e3ff2891891d5df2143ff69cbf30131f6336d8..1dd0ca03a777d06734bc6b4d262695fde050bbfc 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1 @@
-# caesar
-
+# caisar
diff --git a/dune b/dune
index 565d635010c512faba1383ecbf2bd263e630a3d8..5056d33a0ccffa0ca69f17a46601048d8cbbd93a 100644
--- a/dune
+++ b/dune
@@ -6,7 +6,7 @@
 
 (executable
   (name main)
-  (public_name caesar)
+  (public_name caisar)
   (modules_without_implementation property_syntax)
   (libraries base unix str cmdliner)
   (preprocess (pps ppx_deriving.show ppx_deriving.ord)))
diff --git a/dune-project b/dune-project
index d9d786a62e49a950207b43431006f47e667a5d3d..c9e752489ca78e9a27701397a7875d2e127462b0 100644
--- a/dune-project
+++ b/dune-project
@@ -1,9 +1,9 @@
 (lang dune 2.7)
-(name caesar)
+(name caisar)
 (version 0.0)
 
 (using menhir 2.1)
 
 (package
-  (name caesar)
+  (name caisar)
   (synopsis "Framework for neural network verification"))
diff --git a/main.ml b/main.ml
index 381e62f9f0fc3d4c2798bf62caedf1b34ebd8ad4..084c3030db2a885213a81ba0ac672b8817956bb9 100644
--- a/main.ml
+++ b/main.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
@@ -83,7 +83,7 @@ let default_cmd =
   in
   let version = "0.0" in
   Term.(ret (const (fun _ -> `Help (`Pager, None)) $ const ())),
-  Term.info "caesar" ~version ~doc ~sdocs ~exits:Term.default_exits ~man
+  Term.info "caisar" ~version ~doc ~sdocs ~exits:Term.default_exits ~man
 
 let () = Term.(exit @@ eval_choice default_cmd [ verify_cmd ])
 
diff --git a/model.ml b/model.ml
index d4b71cb27d2e2bc65516c0f9ef1bfc42fb16fc2c..e13dbcc0257adafeedac656e599fffb068209f78 100644
--- a/model.ml
+++ b/model.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/model.mli b/model.mli
index d3e09bcc9bb3d24fff6000006a3da9558d21136d..45687d863e14af274565c307a74ac073145de2b1 100644
--- a/model.mli
+++ b/model.mli
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/property.ml b/property.ml
index 1b20c275f9822a09435d32d0968ed1ce70730c2b..560006b5b2179d05973eaa008ffab2468372731a 100644
--- a/property.ml
+++ b/property.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/property.mli b/property.mli
index 56409dc03dab030d62ce87a42c121c2316d0856a..34a1ee63397b281467c5de723149a99f7cee0533 100644
--- a/property.mli
+++ b/property.mli
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/property_parser.mly b/property_parser.mly
index 3238e3b2d791c3cacd890181d2015d9e9ed6ac8e..e10923a5c365695aa07c06ab5d403a51ee5139b5 100644
--- a/property_parser.mly
+++ b/property_parser.mly
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/property_syntax.mli b/property_syntax.mli
index c85dc2c17ffe324ff57c1684b6577f2743df216d..4b4472c391a49c7bcd62dbcaa177ffc3d59c0e2b 100644
--- a/property_syntax.mli
+++ b/property_syntax.mli
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
diff --git a/solver.ml b/solver.ml
index 864357290e1dc94ce0c25f72d800505429b7567b..1c67529ba9e861678166b8d84e6fa74aa34c8058 100644
--- a/solver.ml
+++ b/solver.ml
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)
 
@@ -58,7 +58,7 @@ let check_availability solver =
   let solver_name = show_solver solver in
   Format.printf "Check availability of `%s'.@." solver_name;
   try
-    let tmp = Filename.temp_file "caesar" "" in
+    let tmp = Filename.temp_file "caisar" "" in
     let cmd =
       Filename.quote_command
         ~stdout:tmp ~stderr:tmp
diff --git a/solver.mli b/solver.mli
index 1958cc9b0e649081da43095747cee783311e3aab..1679db457c8ad55e8193229ab447aff978eee3dc 100644
--- a/solver.mli
+++ b/solver.mli
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Caesar.                                          *)
+(*  This file is part of Caisar.                                          *)
 (*                                                                        *)
 (**************************************************************************)