diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index 0200b6b6b34..232c786777e 100644
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -12,7 +12,7 @@ on:
 env:
   PIP_VERSION: '3.10'
   JAVA_VERSION: '11'
-  SOLC_VERSION: '0.8.24'
+  SOLC_VERSION: '0.8.25'
 
 concurrency: ${{ github.workflow }}-${{ github.ref }}