yuanyeex
/
openclaw
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix repository links in formal-verification.md (#10200) 

Updated repository links for formal verification models.
main
Val Alexander 2026-02-06 20:47:55 -06:00 committed by GitHub
parent a3b5f1b15c
commit 3d2fe9284e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/gateway/security/formal-verification.md
View File

@ -23,7 +23,7 @@ misconfiguration safety), under explicit assumptions.
## Where the models live ## Where the models live
Models are maintained in a separate repo: [vignesh07/openclaw-formal-models](https://github.com/vignesh07/openclaw-formal-models). Models are maintained in a separate repo: [vignesh07/clawdbot-formal-models](https://github.com/vignesh07/clawdbot-formal-models).
## Important caveats ## Important caveats
@ -41,8 +41,8 @@ Today, results are reproduced by cloning the models repo locally and running TLC
Getting started: Getting started:
```bash ```bash
git clone https://github.com/vignesh07/openclaw-formal-models git clone https://github.com/vignesh07/clawdbot-formal-models
cd openclaw-formal-models cd clawdbot-formal-models
# Java 11+ required (TLC runs on the JVM). # Java 11+ required (TLC runs on the JVM).
# The repo vendors a pinned `tla2tools.jar` (TLA+ tools) and provides `bin/tlc` + Make targets. # The repo vendors a pinned `tla2tools.jar` (TLA+ tools) and provides `bin/tlc` + Make targets.