diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
index ad65bff3c670..3cb8762d7c9b 100644
--- a/.github/actions/build/action.yml
+++ b/.github/actions/build/action.yml
@@ -19,7 +19,7 @@ runs:
         shell: bash
 
       - name: Install cbmc-viewer
-        run: ./scripts/setup/install_viewer.sh 2.6
+        run: ./scripts/setup/install_viewer.sh 2.10
         shell: bash
 
       - name: Install Rust toolchain
diff --git a/docs/src/install-guide.md b/docs/src/install-guide.md
index 6242b7bbd02f..7185567c1bea 100644
--- a/docs/src/install-guide.md
+++ b/docs/src/install-guide.md
@@ -6,7 +6,7 @@ In general, the following dependencies are required. Note: These dependencies ma
 
 1. Cargo installed via rustup
 2. [CBMC](https://github.com/diffblue/cbmc) (>= 5.50.0)
-3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 2.6)
+3. [CBMC Viewer](https://github.com/awslabs/aws-viewer-for-cbmc) (>= 2.10)
 
 ## Installing on Ubuntu 20.04
 
@@ -19,7 +19,7 @@ cd kani
 git submodule update --init
 ./scripts/setup/ubuntu-20.04/install_deps.sh
 ./scripts/setup/ubuntu-20.04/install_cbmc.sh
-./scripts/setup/install_viewer.sh 2.6
+./scripts/setup/install_viewer.sh 2.10
 ./scripts/setup/install_rustup.sh
 source $HOME/.cargo/env
 ```
@@ -35,7 +35,7 @@ cd kani
 git submodule update --init
 ./scripts/setup/macos-10.15/install_deps.sh
 ./scripts/setup/macos-10.15/install_cbmc.sh
-./scripts/setup/install_viewer.sh 2.6
+./scripts/setup/install_viewer.sh 2.10
 ./scripts/setup/install_rustup.sh
 source $HOME/.cargo/env
 ```
diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh
index 8c942a9adb0c..ee04428f4368 100755
--- a/scripts/kani-regression.sh
+++ b/scripts/kani-regression.sh
@@ -15,7 +15,7 @@ KANI_DIR=$SCRIPT_DIR/..
 
 # Required dependencies
 check-cbmc-version.py --major 5 --minor 50
-check-cbmc-viewer-version.py --major 2 --minor 5
+check-cbmc-viewer-version.py --major 2 --minor 10
 
 # Formatting check
 ${SCRIPT_DIR}/kani-fmt.sh --check