C++ tools to assist with "programming by contract"
-
Updated
Aug 27, 2021 - C++
C++ tools to assist with "programming by contract"
Generate data from contracts
Specification of Extended Binary Search Tree project using the design by contract paradigm.
A Ruby Library for Planning Messages in Sequence Diagrams
Java unit-testing assertions to assist a Design By Contract style of programming
Design by Contract mechanisms in Eiffel
✔️ Assertive python design by contract toolkit for software validation. Simplify preconditions, postconditions, and invariants with easy-to-use decorators.
Library to apply Design By Contract on plain Java projects
A Smart Contract Language based on design by contract and Event-B
Lightweight Python package for doing operations concerning Assume-Guarantee (A/G) Contracts and parsing, deriving constraints from, and solving Signal Temporal Logic. Built at DesCyPhy Lab, USC
D-inspired contract programming in Rust using macros
A function that automates type-checking of arguments passed to Python functions
Assertion is a library for low-level validation, allows to verify invariants and pre/post conditions.
A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code
A Fun Frontend Language
Design by contract extension to Java using annotations and bytecode injection
Add a description, image, and links to the design-by-contract topic page so that developers can more easily learn about it.
To associate your repository with the design-by-contract topic, visit your repo's landing page and select "manage topics."