A design by contract library for Zig
-
Updated
Aug 19, 2025 - Zig
#
software-correctness
Here are 3 public repositories matching this topic...
🔍A deep dive into Formal Methods in Software Engineering 📜—exploring automata, logic, verification, and specification techniques to ensure software correctness and reliability.
logic theorem-proving verification specification software-engineering model-checking formal-methods automata-theory software-correctness
-
Updated
Jun 10, 2025 - Python
Rivar is a minimal, contract-first, class-based programming language inspired by Eiffel.
programming-language parser ocaml syntax-tree language-design preconditions dbc design-by-contract postconditions software-correctness experimental-language class-invariants
-
Updated
Apr 1, 2025 - OCaml
Improve this page
Add a description, image, and links to the software-correctness topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the software-correctness topic, visit your repo's landing page and select "manage topics."