diff --git a/.github/workflows/formal_verification.yml b/.github/workflows/formal_verification.yml
index 0076a6c3..6f80ea04 100644
--- a/.github/workflows/formal_verification.yml
+++ b/.github/workflows/formal_verification.yml
@@ -32,8 +32,16 @@ jobs:
           cargo install --locked kani-verifier
           cargo-kani setup
 
-      - name: Run Kani
+      - name: Run Kani with and without reports
         run: |
           # Remove `cdylib` from targets in Cargo.toml because it confuses Kani
-          sed -i s/'"cdylib", "rlib"'/'"rlib"'/ Cargo.toml
-          cargo kani
+          sed '17d' Cargo.toml > Cargo.toml.new
+          mv Cargo.toml.new Cargo.toml
+          cargo kani # Shows the result in stdout
+          cargo kani --visualize
+
+      - name: Save formal verification artifacts
+        uses: actions/upload-artifact@v3
+        with:
+          name: formal-verification-report
+          path: target/report*/html/**/*