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 JM

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=flat http://portal.acm.org/citation.cfm?id=1556581&preflayout... Download: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos:avispa:papers:cbg_09.pdf http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos:av...