https://github.com/reity/article-specifications-for-distinguishing-functions

This article presents a technique for assembling concise, lightweight specifications and unit tests for verifying the identity of a function; the technique sacrifices completeness to enable compact and portable specifications.

formal-specification functional-verification lightweight-framework python-articles

Last synced: 17 Mar 2025