The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
-
Updated
Mar 10, 2022 - Java
The missing, complete example of Domain-Driven Design enterprise application backed by Spring stack
Static Analyzer for LLVM bitcode based on Abstract Interpretation
A library for building abstract interpretation-based analyses
Validity and validity-based testing
Design by Contract framework for PHP
Generates loop invariants for program verification
Rust newtype with guarantees 🇺🇦 🦀
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
All of my math stuff from grad school.
👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
The runtime monitoring tool for smart contracts high-level properties.
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
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.
Invariant is a guaranteed library to compute invariants associated to dynamical systems
Pattern recognition image classification using moment invariants.
Fluent Design Contracts for Java Projects
System.ComponentModel.Annotations.Validation is a extension of System.ComponentModel validation engine. Supports validation of properties and invariants for object graphs.
enforce representation/class invariants in your Rust data structures
Design by contract for JavaScript
Invariant Generation modulo opaue operations
Add a description, image, and links to the invariants topic page so that developers can more easily learn about it.
To associate your repository with the invariants topic, visit your repo's landing page and select "manage topics."