Verifying Code and Its Optimizations: An Experience Report.

Published in: ICST Workshops (2011)

Keyphrases

source code
databases
model checking
genetic algorithm
case study
expert systems
relational databases
bit rate
data flow
error correcting
linux kernel
program code