techdivision/php-by-contract (packagist): A lightweight Design-by-Contract library for PHP
Keywords: library|dbc|contract|precondition|postcondition|invariant|Design-by-Contract