diff --git a/Formula/cbmc.rb b/Formula/cbmc.rb
index 9162d3e7e2d..5891cc97ff4 100644
--- a/Formula/cbmc.rb
+++ b/Formula/cbmc.rb
@@ -2,8 +2,8 @@ class Cbmc < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-      tag:      "cbmc-5.71.0",
-      revision: "a042d91e34e9b18c5edc7c9e575cef7f9bb92c9b"
+      tag:      "cbmc-5.72.0",
+      revision: "9a84d62dabbf92e2a0e83bec136b9c6d73d6f2b1"
   license "BSD-4-Clause"
 
   bottle do