diff --git a/tools/verdict-back-ends/Dockerfile b/tools/verdict-back-ends/Dockerfile
index b1ffd5bc..48d14b68 100644
--- a/tools/verdict-back-ends/Dockerfile
+++ b/tools/verdict-back-ends/Dockerfile
@@ -4,7 +4,7 @@ ARG BUILDKIT_INLINE_CACHE=1
 
 # Base our image on latest ubuntu LTS
 
-FROM ubuntu:22.04
+FROM ubuntu:24.04
 
 # Install packages which are needed by verdict back-end tools
 # (kind2 requires libzmq5 and z3)