traffic-intersection (pypi): This is an example of the design-by-contract approach
Keywords: design-by-contract|formal-verification