The first hit from a google search: Programming With Assertions