serafim/dbc (packagist): Design by Contract framework for PHP
Keywords: contracts|dbc|design-by-contracts|ensure|invariant|php|verify