Solving the VerifyThis 2012 challenges with VeriFast.

Bart Jacobs Jan Smans Frank Piessens

Published in: Int. J. Softw. Tools Technol. Transf. (2015)

Keyphrases

lessons learned
real world
open issues
key issues
combinatorial optimization
data sets
databases
computer vision
information systems
web pages
expert systems
evolutionary algorithm
technical challenges
computational challenges