- Solving the VerifyThis 2012 challenges with VeriFast(2015)
Auteurs: Bart Jacobs, Jan Smans, Frank Piessens
Pagina's: 659 - 676
- Software verification with VeriFast: Industrial case studies(2014)
Auteurs: Pieter Philippaerts, Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
Pagina's: 77 - 97
- VeriFast for Java: A tutorial(2013)
Auteurs: Jan Smans, Bart Jacobs, Frank Piessens
Pagina's: 407 - 442
- Implicit dynamic frames(2012)
Auteurs: Jan Smans, Bart Jacobs, Frank Piessens
- Sound formal verification of Linux's USB BP keyboard driver(2012)
Auteurs: Willem Penninckx, Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
Pagina's: 210 - 215
- The 1st verified software competition: Experience report(2011)
Auteurs: Bart Jacobs, Frank Piessens, Jan Smans
Pagina's: 154 - 168
- Verification of unloadable modules(2011)
Auteurs: Bart Jacobs, Jan Smans, Frank Piessens
Pagina's: 402 - 416
- VeriFast: A powerful, sound, predictable, fast verifier for C and Java(2011)
Auteurs: Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens
Pagina's: 41 - 55
- Annotation inference for separation logic based verifiers(2011)
Auteurs: Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans
Pagina's: 319 - 333
- A quick tour of the VeriFast program verifier(2010)
Auteurs: Bart Jacobs, Jan Smans, Frank Piessens
Pagina's: 304 - 311