software-correctness

There are 3 repositories under software-correctness topic.

  • zig-dbc

    A design by contract library for Zig

    Language:Zig22

  • FormalMethodsInSE

    🔍A deep dive into Formal Methods in Software Engineering 📜—exploring automata, logic, verification, and specification techniques to ensure software correctness and reliability.

    Language:Python6

  • rivar-lang

    Rivar is a minimal, contract-first, class-based programming language inspired by Eiffel.

    Language:OCaml