Rust newtype with guarantees 🇺🇦 🦀

The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Design by Contract framework for PHP

A library for building abstract interpretation-based analyses

Validity and validity-based testing

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

Generates loop invariants for program verification

All of my math stuff from grad school.

Fluent Design Contracts for Java Projects

The main goal of this software is to give assistance to Graph Theory and Spectral Graph Theory researchers to establish or refute conjectures quickly and simply, providing for visualization a filtered list of graphs according to the properties given by the user.

Vaxine provides rich-CRDT features on top of Antidote.

Introspectable Contracts Programming for JavaScript

enforce representation/class invariants in your Rust data structures

QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.

Utility library that helps expressing invariants in types

👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.

Fluent Design by Contract for Javascript APIs

Design by contract for JavaScript

The runtime monitoring tool for smart contracts business logic.