Compiler-assisted software verification using plug-ins.

Sean Callanan Radu Grosu Xiaowan Huang Scott A. Smolka Erez Zadok

Published in: IPDPS (2006)

Keyphrases

programming language
general purpose
real time
highly optimized
digital libraries
genetic algorithm
neural network
information systems
software systems
code generation
computer vision
multiscale
object oriented
databases
data sets
constraint language
database