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