Software verification with VeriFast: Industrial case studies.
Pieter PhilippaertsJan Tobias MühlbergWillem PenninckxJan SmansBart JacobsFrank PiessensPublished in: Sci. Comput. Program. (2014)
Keyphrases
- case study
- industrial applications
- lessons learned
- open source
- industrial environment
- technology transfer
- real world
- data sets
- detailed descriptions
- databases
- industrial processes
- web based collaborative learning environments
- manufacturing industry
- development process
- software development
- trade off
- computational complexity
- computer vision
- data mining