diff --git a/Formula/c/cbmc.rb b/Formula/c/cbmc.rb
index 4b34d412ec76..146cc7771577 100644
--- a/Formula/c/cbmc.rb
+++ b/Formula/c/cbmc.rb
@@ -2,17 +2,17 @@ class Cbmc < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-      tag:      "cbmc-6.2.0",
-      revision: "27b845c975c6bbdfb2ccc6f40bdfae6793d12277"
+      tag:      "cbmc-6.3.1",
+      revision: "d2b4455a109383562735cfb8b52ed8a6d2b6e197"
   license "BSD-4-Clause"
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sequoia: "547be02ac0f433c32c3891ae903a0fd636b5f969f0d48f979fb2bb297120b997"
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "2498148a8885ca9dc4bf43b74223fbb6133c751cda63fb4696c77a289c05077e"
-    sha256 cellar: :any_skip_relocation, arm64_ventura: "cf25cd38405568e00ae636911f9d99d9e11bd3af412347e35493b546f89e19e0"
-    sha256 cellar: :any_skip_relocation, sonoma:        "cc6541c50375420b8039db909c479357f4b6ea08c42b662c848116c545244235"
-    sha256 cellar: :any_skip_relocation, ventura:       "98ca34ae1079827e7db598a4548dd53f736c28ba675fa2ec8f071bcd9f8d6ec3"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:  "0d5f6935072f1af26fc5559e16e5c92b06bb6da0d2a7f80e6f1c2c155215bf1e"
+    sha256 cellar: :any_skip_relocation, arm64_sequoia: "1e50e314bf1f1ddaa9253d40c4dc70f3770232308dcab4295337661437b1460f"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "133d3d72f113fcb12292e08a39d2449f16fb4510567e52d35e384142fe659db5"
+    sha256 cellar: :any_skip_relocation, arm64_ventura: "c06dea047e5c78eb95354b17dcc40cc59abcf9db38680d9ead760202501540cf"
+    sha256 cellar: :any_skip_relocation, sonoma:        "c45b99b6975d0f2fa78b5aed64751e58f12367aaa91edd06b34b86782b3b5c10"
+    sha256 cellar: :any_skip_relocation, ventura:       "de04d1c43dc85344c103d79b1f7d143593122d86793b759328d57160b5d8a30b"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "bdcfa01760c11979adb3ee153bd3dd67ea2df230e171ced004473999b05ce936"
   end
 
   depends_on "cmake" => :build
@@ -25,13 +25,6 @@ class Cbmc < Formula
 
   fails_with gcc: "5"
 
-  # Backport fix for CMake Error at jbmc/unit/CMakeLists.txt
-  # Cannot find source file: /tmp/unit/unit_tests.cpp
-  patch do
-    url "https://github.com/diffblue/cbmc/commit/faf92c5354e3aaca6c70013bb75b26a271c6f63d.patch?full_index=1"
-    sha256 "7dd49f1364a24b914e13e3e16de7611db10467f1235e308d1c7fa77291171de6"
-  end
-
   def install
     # Fixes: *** No rule to make target 'bin/goto-gcc',
     # needed by '/tmp/cbmc-20240525-215493-ru4krx/regression/goto-gcc/archives/libour_archive.a'.  Stop.