Judging from the first 16 pages of their tutorial, VeriFast is quite promising in that the contracts seem to be quite easy to create. I can see myself using it if I’d be able to integrate it with my current dev environment without much hassle.