Formal Verification on Nomad-style Zero-Root Init (T3)
1IterationsCOBALT-TLA
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| COBALT-TLAVulnerability Class=Init. Vulnerability2026.04 | 1 | 3 | 8 | 0.29 | 28 |
| Method | Links | |||||
|---|---|---|---|---|---|---|
| COBALT-TLAVulnerability Class=Init. Vulnerability2026.04 | 1 | 3 | 8 | 0.29 | 28 |