diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index 517ec552c..e0475b195 100644
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -10,7 +10,7 @@ on:
   workflow_dispatch: {}
 
 env:
-  PIP_VERSION: '3.10'
+  PIP_VERSION: '3.11'
   JAVA_VERSION: '11'
   SOLC_VERSION: '0.8.20'
 
diff --git a/fv-requirements.txt b/fv-requirements.txt
index 920662b02..6dda424ed 100644
--- a/fv-requirements.txt
+++ b/fv-requirements.txt
@@ -1,4 +1,4 @@
 certora-cli==4.13.1
 # File uses a custom name (fv-requirements.txt) so that it isn't picked by Netlify's build
 # whose latest Python version is 0.3.8, incompatible with most recent versions of Halmos
-halmos==0.1.13
+halmos==0.1.14