[zlapper]

This is very similar to JML!

I co-wrote a paper on the subject a couple years ago during my undergraduate, which I humbly share with you :)

A Case Study in JML-Assisted Software Development http://portal.acm.org/citation.cfm?id=1556581&preflayout...

Download: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos:av...

[zlapper]

(thinking out loud: wouldn't be cool if someone at Google contacts me? I'd love to work for them :)