Bart Jacobs

Bart Jacobs

Catholic University of Leuven - Leuven / Belgium
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400839
Katholieke Universiteit Leuven
person_outline Bart Jacobs's MOST POPULAR ARTICLES
1-) Boogie: A modular reusable verifier for object-oriented programsM Barnett, BYE Chang, R DeLine, B Jacobs, KRM LeinoInternational Symposium on Formal Methods for Components and Objects, 364-387, 200511602005
2-) VeriFast: A powerful, sound, predictable, fast verifier for C and JavaB Jacobs, J Smans, P Philippaerts, F Vogels, W Penninckx, F PiessensNASA Formal Methods, 41-55, 20114252011
3-) Implicit dynamic frames: Combining dynamic frames and separation logicJ Smans, B Jacobs, F PiessensECOOP 2009–Object-Oriented Programming, 148-172, 20091842009
4-) A quick tour of the VeriFast program verifierB Jacobs, J Smans, F PiessensProgramming Languages and Systems, 304-311, 20101852010
5-) The VeriFast program verifierB Jacobs, F PiessensTechnical Report CW-520, Department of Computer Science, Katholieke …, 20081742008