VeriFast: A powerful, sound, predictable, fast verifier for C and Java. Jacobs, B., Smans, J., Philippaerts, P., Vogels, F., Penninckx, W., & Piessens, F. In NFM, 2011.
bibtex   
@inproceedings{VeriFast,
	Author = {Jacobs,B. and Smans,J. and Philippaerts,P. and Vogels,F. and Penninckx,W. and Piessens,F.},
	Booktitle = {NFM},
	Title = {{VeriFast: A powerful, sound, predictable, fast verifier for C and Java}},
	Year = {2011}}

Downloads: 0