L

lightweight formal methods

A lightweight and adaptable framework for design-by-contract in python.

Corsa is a library to write runnable code contracts in Elixir.

Makina is a testing library that provides a DSL for writing PBT models for stateful systems.