LTWlanguages & frameworks ltw://languages
Sponsor
LTW
Sponsor
  1. Home
  2. Languages
  3. Verus
Language

Verus

Proof system for the Rust programming language

Facts

Kind
computer program, formal system
Used for
formal verification, software quality engineering

Sources: Wikidata (CC0) · Wikidata Q141488238