Verus

Named by 2 kept items in this workspace.

1 items name it under classification.key entities and 1 under tools.

The items that name it 2

LLMs are making formal software verification feasible at a much larger scale
articleas classification.key entities2026-10-22
Formal Verification of Execution and Consensus Clients
threadas tools2026-09-25
Rust verification tooling in the Rust + Aeneas/Verus/hax ecosystem

In every workspace you can read 4

Security

LLMs are making formal software verification feasible at a much larger scale
article2026-10-22
Formal Verification of Execution and Consensus Clients
thread2026-09-25

AI

LLMs are making formal software verification feasible at a much larger scale
article2026-10-22
Forte: A sensitivity type system for imperative Rust
paper2026-09-24

All technologies in this workspace.