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.
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.